Diff of /doc/source/using_pyke/proving_goals.txt [f23295] .. [9f7068] Maximize Restore

  Switch to side-by-side view

--- a/doc/source/using_pyke/proving_goals.txt
+++ b/doc/source/using_pyke/proving_goals.txt
@@ -49,7 +49,7 @@
    >>> my_engine = knowledge_engine.engine(__file__)
    >>> my_engine.add_universal_fact('family', 'son_of', ('bruce', 'thomas'))
    >>> my_engine.add_universal_fact('family', 'son_of', ('david', 'bruce'))
-   >>> my_engine.activate('bc_example')
+   >>> my_engine.activate('bc_father_son')
 
 Though Pyke has the capability to return multiple answers to a single goal,
 often you just want the first answer:
@@ -58,7 +58,7 @@
     ``goal`` is a Pyke goal (as a string).  This may include `pattern
     variables`_ (which start with a '$').
 
-    >>> my_engine.prove_1_goal('bc_example.father_son(thomas, david, $depth)')
+    >>> my_engine.prove_1_goal('bc_father_son.father_son(thomas, david, $depth)')
     ({'depth': ('grand',)}, None)
 
     Returns the first proof found as a 2-tuple: a dict of bindings for the
@@ -71,7 +71,7 @@
     the corresponding pattern variable.
 
     >>> vars, plan = \
-    ...   my_engine.prove_1_goal('bc_example.father_son($father, $son, $depth)',
+    ...   my_engine.prove_1_goal('bc_father_son.father_son($father, $son, $depth)',
     ...                          father='thomas',
     ...                          son='david')
     >>> sorted(vars.items(), key=lambda item: item[0])
@@ -80,10 +80,10 @@
     Prove_1_goal raises ``pyke.knowledge_engine.CanNotProve`` if no proof is
     found:
 
-    >>> my_engine.prove_1_goal('bc_example.father_son(thomas, bogus, $depth)')
+    >>> my_engine.prove_1_goal('bc_father_son.father_son(thomas, bogus, $depth)')
     Traceback (most recent call last):
         ...
-    CanNotProve: Can not prove bc_example.father_son(thomas, bogus, $depth)
+    CanNotProve: Can not prove bc_father_son.father_son(thomas, bogus, $depth)
 
 *some_engine*.prove_goal(goal, \*\*args)
     This returns a context manager for a generator yielding 2-tuples, as
@@ -93,7 +93,7 @@
     >>> from __future__ import with_statement
 
     >>> with my_engine.prove_goal(
-    ...        'bc_example.father_son(thomas, $son, $depth)') as gen:
+    ...        'bc_father_son.father_son(thomas, $son, $depth)') as gen:
     ...     for vars, plan in gen:
     ...         print vars['son'], vars['depth']
     bruce ()
@@ -103,7 +103,7 @@
     specified with keyword arguments:
 
     >>> with my_engine.prove_goal(
-    ...        'bc_example.father_son($father, $son, $depth)',
+    ...        'bc_father_son.father_son($father, $son, $depth)',
     ...        father='thomas') as gen:
     ...     for vars, plan in gen:
     ...         print vars['son'], vars['depth']
@@ -118,7 +118,7 @@
 
     >>> from pyke import goal
 
-    >>> my_goal = goal.compile('bc_example.father_son($father, $son, $depth)')
+    >>> my_goal = goal.compile('bc_father_son.father_son($father, $son, $depth)')
 
 Then use ``my_goal.prove_1`` and ``my_goal.prove`` as many times as you'd
 like: