Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

Commit [4dca5a] default Maximize Restore History

Merged with Release 1.1.

mtnyogi mtnyogi 2010-03-10

1 2 3 .. 9 > >> (Page 1 of 9)
added Test/examples/web_framework.tst
added Test/examples/family_relations.tst
added Test/examples/notany.tst
added Test/examples/findall.tst
added Test/examples/__init__.py
added Test/examples/knapsack.tst
added Test/examples/towers_of_hanoi.tst
added Test/examples/learn_pyke.tst
added Test/examples/forall.tst
changed Test/backup/backup.tst
changed Test/CanNotProve/test.py
changed Test/CanNotProve/rules.krb
changed Test/CanNotProve/CanNotProve2.tst
changed Test/CanNotProve/facts.kfb
changed Test/first/test.tst
changed Test/test.py
changed Test/pyketest.py
changed doc/source/logic_programming/rules/backward_chaining.txt
changed doc/source/logic_programming/rules/forward_chaining.txt
changed doc/source/logic_programming/plans.txt
changed doc/source/pyke_syntax/kqb_syntax.txt
changed doc/source/knowledge_bases/special.txt
copied Test/backup/test.py -> Test/backup/run.py
Test/examples/web_framework.tst Diff Switch to side-by-side view
Loading...
Test/examples/family_relations.tst Diff Switch to side-by-side view
Loading...
Test/examples/notany.tst Diff Switch to side-by-side view
Loading...
Test/examples/findall.tst Diff Switch to side-by-side view
Loading...
Test/examples/__init__.py Diff Switch to side-by-side view
Loading...
Test/examples/knapsack.tst Diff Switch to side-by-side view
Loading...
Test/examples/towers_of_hanoi.tst Diff Switch to side-by-side view
Loading...
Test/examples/learn_pyke.tst Diff Switch to side-by-side view
Loading...
Test/examples/forall.tst Diff Switch to side-by-side view
Loading...
Test/backup/backup.tst 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/CanNotProve2.tst Diff Switch to side-by-side view
Loading...
Test/CanNotProve/facts.kfb Diff Switch to side-by-side view
Loading...
Test/first/test.tst Diff Switch to side-by-side view
Loading...
Test/test.py Diff Switch to side-by-side view
Loading...
Test/pyketest.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/logic_programming/rules/forward_chaining.txt Diff Switch to side-by-side view
Loading...
doc/source/logic_programming/plans.txt Diff Switch to side-by-side view
Loading...
doc/source/pyke_syntax/kqb_syntax.txt Diff Switch to side-by-side view
Loading...
doc/source/knowledge_bases/special.txt Diff Switch to side-by-side view
Loading...
Test/backup/test.py to Test/backup/run.py
--- a/Test/backup/test.py
+++ b/Test/backup/run.py
@@ -1,9 +1,9 @@
-# test.py
+# run.py
 
 from pyke import knowledge_engine
 
-def test():
-    engine = knowledge_engine.engine('Test.backup')
+def run():
+    engine = knowledge_engine.engine(__file__)
     engine.activate('backup')
-    (ans,), plan = engine.prove_1('backup', 'top', (), 1)
-    print ans
+    vars, plan = engine.prove_1_goal('backup.top($ans)')
+    print vars['ans']
1 2 3 .. 9 > >> (Page 1 of 9)