Commit [9b9741] default Maximize Restore History

Fixed bug when there are no facts in a fact list for a goal being

proved.

mtnyogi mtnyogi 2008-11-22

added Test/CanNotProve/facts.kfb
added Test/CanNotProve/test.py
added Test/CanNotProve/rules.krb
added Test/CanNotProve/CanNotProve.tst
changed doc/source/knowledge_bases/special.txt
changed doc/html/knowledge_bases/special.html
changed doc/html/sitemap.xml
changed pyke/knowledge_base.py
Test/CanNotProve/facts.kfb Diff Switch to side-by-side view
Loading...
Test/CanNotProve/test.py Diff Switch to side-by-side view
Loading...
Test/CanNotProve/rules.krb Diff Switch to side-by-side view
Loading...
Test/CanNotProve/CanNotProve.tst Diff Switch to side-by-side view
Loading...
doc/source/knowledge_bases/special.txt Diff Switch to side-by-side view
Loading...
doc/html/knowledge_bases/special.html Diff Switch to side-by-side view
Loading...
doc/html/sitemap.xml Diff Switch to side-by-side view
Loading...
pyke/knowledge_base.py Diff Switch to side-by-side view
Loading...