Diff of /doc/html/logic_programming/rules/backward_chaining.html [9ac085] .. [0176eb] Maximize Restore

  Switch to unified view

a/doc/html/logic_programming/rules/backward_chaining.html b/doc/html/logic_programming/rules/backward_chaining.html
...
...
286
<blockquote>
286
<blockquote>
287
<pre class="doctest-block">
287
<pre class="doctest-block">
288
&gt;&gt;&gt; from __future__ import with_statement
288
&gt;&gt;&gt; from __future__ import with_statement
289
&gt;&gt;&gt; with engine.prove_n('bc_example', 'uncle_nephew', ('fred',), 2) as gen:
289
&gt;&gt;&gt; with engine.prove_n('bc_example', 'uncle_nephew', ('fred',), 2) as gen:
290
...     for vars, no_plan in gen:
290
...     for vars, no_plan in gen:
291
...         print vars
291
...         print(vars)
292
('michael', ())
292
('michael', ())
293
</pre>
293
</pre>
294
</blockquote>
294
</blockquote>
295
<!-- ADD_LINKS MARKER -->
295
<!-- ADD_LINKS MARKER -->
296
</div>
296
</div>