Commit [9c0a10] default  Maximize  Restore  History

Added prove_1 to goal.prover.

mtnyogi mtnyogi 2010-02-25

changed pyke/goal.py
changed pyke/knowledge_engine.py
pyke/goal.py Diff Switch to side-by-side view
Loading...
pyke/knowledge_engine.py Diff Switch to side-by-side view
Loading...