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

Switch to side-by-side view

--- a/doc/html/using_pyke/proving_goals.html
+++ b/doc/html/using_pyke/proving_goals.html
@@ -44,6 +44,7 @@
 <div class="normal-nav"><a href="creating_engine.html">Creating an Engine</a></div>
 <div class="normal-nav"><a href="adding_facts.html">Asserting Facts</a></div>
 <div class="normal-nav"><a href="proving_goals.html">Proving Goals</a></div>
+<div class="normal-nav"><a href="other_functions.html">Other functions</a></div>
 </div>
 <div class="normal-nav"><a href="../examples.html">Examples</a></div>
 <div class="normal-nav"><a href="../PyCon2008-paper.html">PyCon 2008 Paper</a></div>
@@ -80,7 +81,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') -->
 <p>Though Pyke has the capability to return multiple answers to a single goal,
 often you just want the first answer:</p>
 <dl class="docutils">
@@ -88,7 +89,7 @@
 <dd><p class="first"><tt class="docutils literal"><span class="pre">goal</span></tt> is a Pyke goal (as a string).  This may include <a class="reference external" href="../logic_programming/pattern_matching/pattern_variables.html">pattern
 variables</a> (which start with a '$').</p>
 <pre class="doctest-block">
-&gt;&gt;&gt; my_engine.prove_1_goal('bc_example.father_son(thomas, david, $depth)')
+&gt;&gt;&gt; my_engine.prove_1_goal('bc_father_son.father_son(thomas, david, $depth)')
 ({'depth': ('grand',)}, None)
 </pre>
 <p class="last">Returns the first proof found as a 2-tuple: a dict of bindings for the
@@ -101,7 +102,7 @@
 the corresponding pattern variable.</p>
 <pre class="doctest-block">
 &gt;&gt;&gt; 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')
 &gt;&gt;&gt; sorted(vars.items(), key=lambda item: item[0])
@@ -110,10 +111,10 @@
 <p>Prove_1_goal raises <tt class="docutils literal"><span class="pre">pyke.knowledge_engine.CanNotProve</span></tt> if no proof is
 found:</p>
 <pre class="doctest-block">
-&gt;&gt;&gt; my_engine.prove_1_goal('bc_example.father_son(thomas, bogus, $depth)')
+&gt;&gt;&gt; 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)
 </pre>
 </blockquote>
 <dl class="docutils">
@@ -126,7 +127,7 @@
 </pre>
 <pre class="doctest-block">
 &gt;&gt;&gt; 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 ()
@@ -136,7 +137,7 @@
 specified with keyword arguments:</p>
 <pre class="last doctest-block">
 &gt;&gt;&gt; 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']
@@ -154,7 +155,7 @@
 &gt;&gt;&gt; from pyke import goal
 </pre>
 <pre class="doctest-block">
-&gt;&gt;&gt; my_goal = goal.compile('bc_example.father_son($father, $son, $depth)')
+&gt;&gt;&gt; my_goal = goal.compile('bc_father_son.father_son($father, $son, $depth)')
 </pre>
 </blockquote>
 <p>Then use <tt class="docutils literal"><span class="pre">my_goal.prove_1</span></tt> and <tt class="docutils literal"><span class="pre">my_goal.prove</span></tt> as many times as you'd
@@ -214,6 +215,9 @@
 </div>
 <div class="right-item"><a href="proving_goals.html">Proving Goals</a><p>Using Pyke's API to prove goals from your Python program.</p>
 </div>
+<div class="right-item"><a href="other_functions.html">Other Functions</a><p>Other miscellaneous functions available that you might be interested
+in.</p>
+</div>
 
             </div>
           </td>
@@ -231,7 +235,7 @@
 
   <div id="last-modified">
     Page last modified
-    Thu, Mar 04 2010.
+    Fri, Mar 05 2010.
 
   </div>