Diff of /doc/html/pyke_syntax/krb_syntax/bc_rule.html [cb9528] .. [381f18]  Maximize  Restore

Switch to side-by-side view

--- a/doc/html/pyke_syntax/krb_syntax/bc_rule.html
+++ b/doc/html/pyke_syntax/krb_syntax/bc_rule.html
@@ -96,7 +96,7 @@
                 [with]
             DEINDENT
 </pre>
-<p>The <tt class="docutils literal"><span class="pre">IDENTIFIER</span></tt> is the unique name for this <a class="reference external" href="../../logic_programming/rules/index.html">rule</a> and is used as the
+<p>The <tt class="docutils literal">IDENTIFIER</tt> is the unique name for this <a class="reference external" href="../../logic_programming/rules/index.html">rule</a> and is used as the
 corresponding Python function name in the generated &lt;rb_name&gt;_bc.py file
 and also for the Python function name of the <a class="reference external" href="../../logic_programming/plans.html">plan</a> function (if any)
 associated with the rule.  This name will show up in stack traces
@@ -104,7 +104,7 @@
 </div>
 <div class="section" id="use-clause">
 <h2>Use Clause</h2>
-<p>The <tt class="docutils literal"><span class="pre">use</span></tt> clause is the <strong>then</strong> part of the rule.  It identifies the
+<p>The <tt class="docutils literal">use</tt> clause is the <strong>then</strong> part of the rule.  It identifies the
 <em>goal</em> that this rule is prepared to prove.</p>
 <pre class="literal-block">
 use ::= 'use' IDENTIFIER '(' {pattern,} ')' ['taking' '(' &lt;python_arg_spec&gt; ')'] NL
@@ -112,26 +112,26 @@
          INDENT 'taking' '(' &lt;python_arg_spec&gt; ')' NL
          DEINDENT
 </pre>
-<p>Notice that it uses a single <tt class="docutils literal"><span class="pre">IDENTIFIER</span></tt>.  The <a class="reference external" href="../../knowledge_bases/rule_bases.html">rule base</a> name is implied
+<p>Notice that it uses a single <tt class="docutils literal">IDENTIFIER</tt>.  The <a class="reference external" href="../../knowledge_bases/rule_bases.html">rule base</a> name is implied
 as the <a class="reference external" href="../../knowledge_bases/rule_bases.html#rule-base-categories">rule base category</a> name (the name of the root rule base, see
 <a class="reference external" href="index.html#extending-clause">extending clause</a>) for the rule base containing this rule.</p>
 <div class="section" id="taking-clause">
 <h3>Taking Clause</h3>
-<p>The <tt class="docutils literal"><span class="pre">use</span></tt> clause also defines parameters to the <a class="reference external" href="../../logic_programming/plans.html">plan</a> function (if one is
-used for this <a class="reference external" href="../../logic_programming/rules/index.html">rule</a>) with the optional <tt class="docutils literal"><span class="pre">taking</span></tt> sub-clause.</p>
+<p>The <tt class="docutils literal">use</tt> clause also defines parameters to the <a class="reference external" href="../../logic_programming/plans.html">plan</a> function (if one is
+used for this <a class="reference external" href="../../logic_programming/rules/index.html">rule</a>) with the optional <tt class="docutils literal">taking</tt> sub-clause.</p>
 <p>The <em>python_arg_spec</em> is not parsed by Pyke, but simply copied to the
-output plan function.  Do <strong>not</strong> use <tt class="docutils literal"><span class="pre">$</span></tt> with these parameter names (or
+output plan function.  Do <strong>not</strong> use <tt class="docutils literal">$</tt> with these parameter names (or
 their default values).</p>
 </div>
 </div>
 <div class="section" id="when-clause">
 <h2>When Clause</h2>
-<p>The <tt class="docutils literal"><span class="pre">when</span></tt> clause is the <strong>if</strong> part of the <a class="reference external" href="../../logic_programming/rules/index.html">rule</a>.  It defines the
+<p>The <tt class="docutils literal">when</tt> clause is the <strong>if</strong> part of the <a class="reference external" href="../../logic_programming/rules/index.html">rule</a>.  It defines the
 premises that must be true for this rule to succeed.</p>
-<p>If the <tt class="docutils literal"><span class="pre">when</span></tt> clause is omitted, the only
-requirement for the rule to succeed is that the <tt class="docutils literal"><span class="pre">use</span></tt> clause
+<p>If the <tt class="docutils literal">when</tt> clause is omitted, the only
+requirement for the rule to succeed is that the <tt class="docutils literal">use</tt> clause
 <a class="reference external" href="../../logic_programming/pattern_matching/index.html">pattern matches</a> the goal.</p>
-<p>If the <tt class="docutils literal"><span class="pre">when</span></tt> clause is specified, the rule succeeds for each combination
+<p>If the <tt class="docutils literal">when</tt> clause is specified, the rule succeeds for each combination
 of true premises (see <a class="reference external" href="../../logic_programming/rules/index.html#backtracking">backtracking</a>).</p>
 <pre class="literal-block">
 when ::= 'when' NL INDENT
@@ -147,7 +147,7 @@
 </pre>
 <p>Here are the links to the definitions for <a class="reference external" href="pattern.html">pattern</a>, <a class="reference external" href="compound_premise.html">compound_premise</a> and
 <a class="reference external" href="python_premise.html">python_premise</a>.</p>
-<p>If the <em>bc_premise</em> includes the <tt class="docutils literal"><span class="pre">!</span></tt>, an AssertionError will be raised if the
+<p>If the <em>bc_premise</em> includes the <tt class="docutils literal">!</tt>, an AssertionError will be raised if the
 premise fails on the first try.  This can help in debugging.</p>
 <div class="note">
 <p class="first admonition-title">Note</p>
@@ -179,7 +179,7 @@
 python_statements taken from its plan_specs (as described below), followed by
 the python_statements within its <a class="reference external" href="bc_rule.html#with-clause">with clause</a> (if any).  The inclusion of
 any plan_spec containing a python_statement will cause a <a class="reference external" href="../../logic_programming/plans.html">plan</a> function to be
-generated for this rule, even if the rule lacks a <tt class="docutils literal"><span class="pre">with</span></tt> clause.</p>
+generated for this rule, even if the rule lacks a <tt class="docutils literal">with</tt> clause.</p>
 <pre class="literal-block">
 plan_spec ::= [ 'step' NUMBER ] NL INDENT
                   {&lt;python_statement&gt; NL}
@@ -187,31 +187,31 @@
             | 'as' '$'IDENTIFIER NL
 </pre>
 <p>Within each python_statement, the subordinate plan function is indicated by
-<tt class="docutils literal"><span class="pre">$$</span></tt>.  The result of this function may be assigned to a Python variable,
-but not a <a class="reference external" href="pattern.html#pattern-variable">pattern variable</a> (<tt class="docutils literal"><span class="pre">$variable</span></tt>).
-Parameters from the rule's <tt class="docutils literal"><span class="pre">taking</span></tt> clause may be passed on to the
+<tt class="docutils literal">$$</tt>.  The result of this function may be assigned to a Python variable,
+but not a <a class="reference external" href="pattern.html#pattern-variable">pattern variable</a> (<tt class="docutils literal">$variable</tt>).
+Parameters from the rule's <tt class="docutils literal">taking</tt> clause may be passed on to the
 subordinate <a class="reference external" href="../../logic_programming/plans.html">plan</a> functions.</p>
 <p>When multiple premises have python_statements in their <em>plan_specs</em>, the
-python_statements in plan_specs <em>without</em> a <tt class="docutils literal"><span class="pre">step</span></tt> clause are executed first
-in the order that they appear in the <tt class="docutils literal"><span class="pre">when</span></tt> clause.</p>
-<p>Then the python_statements in plan_specs <em>with</em> a <tt class="docutils literal"><span class="pre">step</span></tt> clause are
+python_statements in plan_specs <em>without</em> a <tt class="docutils literal">step</tt> clause are executed first
+in the order that they appear in the <tt class="docutils literal">when</tt> clause.</p>
+<p>Then the python_statements in plan_specs <em>with</em> a <tt class="docutils literal">step</tt> clause are
 executed in ascending NUMBER sequence.  It is permissible for the NUMBER
 to be negative or a float.</p>
-<p>If the <tt class="docutils literal"><span class="pre">as</span></tt> clause is used, the plan function is bound to the
+<p>If the <tt class="docutils literal">as</tt> clause is used, the plan function is bound to the
 pattern variable as a Python function, but not automatically executed.
 This allows you to call the function (or not) when and as many times as you
-please.  The parameters required are defined in the <tt class="docutils literal"><span class="pre">taking</span></tt> clause of the
+please.  The parameters required are defined in the <tt class="docutils literal">taking</tt> clause of the
 rule used to prove the premise.</p>
 <div class="note">
 <p class="first admonition-title">Note</p>
-<p class="last">Within a <a class="reference external" href="compound_premise.html#forall-premise">forall</a> or <a class="reference external" href="compound_premise.html#notany-premise">notany</a> premise, the only <tt class="docutils literal"><span class="pre">plan_spec</span></tt> that may be
-used is the <tt class="docutils literal"><span class="pre">as</span></tt> clause.</p>
+<p class="last">Within a <a class="reference external" href="compound_premise.html#forall-premise">forall</a> or <a class="reference external" href="compound_premise.html#notany-premise">notany</a> premise, the only <tt class="docutils literal">plan_spec</tt> that may be
+used is the <tt class="docutils literal">as</tt> clause.</p>
 </div>
 </div>
 </div>
 <div class="section" id="with-clause">
 <h2>With Clause</h2>
-<p>The <tt class="docutils literal"><span class="pre">with</span></tt> clause contains Python statements to include in the <a class="reference external" href="../../logic_programming/plans.html">plan</a>
+<p>The <tt class="docutils literal">with</tt> clause contains Python statements to include in the <a class="reference external" href="../../logic_programming/plans.html">plan</a>
 produced by this <a class="reference external" href="../../logic_programming/rules/index.html">rule</a>.  These Python statements may include
 <a class="reference external" href="pattern.html#pattern-variable">pattern variables</a> whose values will be <a class="reference external" href="../../about_pyke/cooking_functions.html">cooked</a> into these statements
 when the plan is created.</p>
@@ -223,15 +223,15 @@
 <p>The <em>python_statements</em> are included in the rule's plan function after
 all of the calls to the subordinate plan functions made from the
 <em>plan_specs</em> in the <a class="reference external" href="bc_rule.html#when-clause">when clause</a>.</p>
-<p>If the <tt class="docutils literal"><span class="pre">with</span></tt> clause is omitted, but the <tt class="docutils literal"><span class="pre">when</span></tt> clause has <em>plan_specs</em>
+<p>If the <tt class="docutils literal">with</tt> clause is omitted, but the <tt class="docutils literal">when</tt> clause has <em>plan_specs</em>
 (excluding the <em>as</em> clause), a plan function is still generated for this
 rule so that the subordinate plan functions are still called.</p>
-<p>The <em>python_statements</em> are not parsed.  They are simply scanned for <tt class="docutils literal"><span class="pre">$</span></tt>
+<p>The <em>python_statements</em> are not parsed.  They are simply scanned for <tt class="docutils literal">$</tt>
 pattern variables that don't occur within string literals or comments.
 The values bound to these variables are <a class="reference external" href="../../about_pyke/cooking_functions.html">cooked</a> into the code to produce the
 plan.</p>
 <p>Thus, all pattern variables used within <em>python_statements</em> (both in the
-<tt class="docutils literal"><span class="pre">plan_specs</span></tt> and the <tt class="docutils literal"><span class="pre">when</span></tt> clause) must be bound to a value.  This
+<tt class="docutils literal">plan_specs</tt> and the <tt class="docutils literal">when</tt> clause) must be bound to a value.  This
 value is a constant value that never changes for this <a class="reference external" href="../../logic_programming/plans.html">plan</a>.</p>
 <div class="note">
 <p class="first admonition-title">Note</p>

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks