Commit [90ba04] default Maximize Restore History

Now have engine.prove_goal too.

./testpyke works, but only family_relations has been converted so far...

mtnyogi mtnyogi 2010-02-24

changed doc/source/using_pyke.txt
changed examples/family_relations/test.py
changed pyke/krb_compiler/krbparser_tables.py
changed pyke/krb_compiler/krbparser.py
changed pyke/knowledge_engine.py
changed pyke/goal.py
doc/source/using_pyke.txt Diff Switch to side-by-side view
Loading...
examples/family_relations/test.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/krbparser_tables.py Diff Switch to side-by-side view
Loading...
pyke/krb_compiler/krbparser.py Diff Switch to side-by-side view
Loading...
pyke/knowledge_engine.py Diff Switch to side-by-side view
Loading...
pyke/goal.py Diff Switch to side-by-side view
Loading...