Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [a1da97] default Maximize Restore History

Made engine.prove_n also return a context manager.

Changed the comments on the lookup/prove/prove_n functions to indicate that a
context manager is returned.

Still need to change documentation.

./testall only fails for 3 files in doc/source.

mtnyogi mtnyogi 2008-09-16

changed Test/pyketest.py
changed Test/test.py
changed doc/source/logic_programming/rules/backward_chaining.txt
changed doc/source/using_pyke.txt
changed examples/family_relations/test.py
changed examples/findall/test.py
changed examples/forall/test.py
changed examples/knapsack/test.py
changed examples/notany/test.py
changed examples/sqlgen/database.krb
changed examples/sqlgen/load_mysql_schema.py
changed examples/towers_of_hanoi/test.py
changed pyke/fact_base.py
changed pyke/knowledge_engine.py
changed pyke/rule_base.py
Test/pyketest.py Diff Switch to side-by-side view
Loading...
Test/test.py Diff Switch to side-by-side view
Loading...
doc/source/logic_programming/rules/backward_chaining.txt Diff Switch to side-by-side view
Loading...
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...
examples/findall/test.py Diff Switch to side-by-side view
Loading...
examples/forall/test.py Diff Switch to side-by-side view
Loading...
examples/knapsack/test.py Diff Switch to side-by-side view
Loading...
examples/notany/test.py Diff Switch to side-by-side view
Loading...
examples/sqlgen/database.krb Diff Switch to side-by-side view
Loading...
examples/sqlgen/load_mysql_schema.py Diff Switch to side-by-side view
Loading...
examples/towers_of_hanoi/test.py Diff Switch to side-by-side view
Loading...
pyke/fact_base.py Diff Switch to side-by-side view
Loading...
pyke/knowledge_engine.py Diff Switch to side-by-side view
Loading...
pyke/rule_base.py Diff Switch to side-by-side view
Loading...