Changeset 1501 for trunk

Timestamp:

09/13/04 09:46:42 (4 years ago)

Author:

pmoura

Message:

Updated for new predicate directives alias/3 and uses/2.

Files:

• trunk/manuals/refman/grammar.html (modified) (5 diffs)

trunk/manuals/refman/grammar.html

@@ -418 +418 @@
                 <dd>"<code>:- initialization(</code>" <i>callable</i> "<code>).</code>" |</dd>
                 <dd>"<code>:- uses(</code>" object_identifier "<code>).</code>" |</dd>
-                <dd>"<code>:- uses(</code>" object_identifier "<code>,</code>" predicate_indicator_list "<code>).</code>" |</dd>
                 <dd>"<code>:- calls(</code>" protocol_identifiers "<code>).</code>" |</dd>
                 <dd>"<code>:- dynamic.</code>" |</dd>
@@ -437 +436 @@
                 <dd>"<code>:- initialization(</code>" <i>callable</i> "<code>).</code>" |</dd>
                 <dd>"<code>:- uses(</code>" object_identifier "<code>).</code>" |</dd>
-                <dd>"<code>:- uses(</code>" object_identifier "<code>,</code>" predicate_indicator_list "<code>).</code>" |</dd>
                 <dd>"<code>:- calls(</code>" protocol_identifiers "<code>).</code>" |</dd>
                 <dd>"<code>:- dynamic.</code>" |</dd>
@@ -470 +468 @@
         <dl>
             <dt>predicate_directive ::=</dt>
+                <dd>alias_directive |</dd>
+                <dd>uses_directive |</dd>
                 <dd>scope_directive |</dd>
                 <dd>mode_directive |</dd>
@@ -477 +477 @@
                 <dd><i>dynamic_directive</i> |</dd>
                 <dd><i>discontiguous_directive</i></dd>
+        </dl>
+        <dl>
+            <dt>alias_directive ::=</dt>
+                <dd>"<code>:- alias(</code>" entity_identifier "<code>,</code>" predicate_indicator "<code>,</code>" predicate_indicator "<code>).</code>"</dd>
+        </dl>
+        <dl>
+            <dt>uses_directive ::=</dt>
+                <dd>"<code>:- uses(</code>" object_identifier "<code>,</code>" predicate_indicator_list "<code>).</code>"</dd>
         </dl>
         <dl>
@@ -686 +694 @@
 
 <div class="footer">
-<p><span class="bleft"><a href="http://validator.w3.org/check/referer">XHTML</a> + <a href="http://jigsaw.w3.org/css-validator/check/referer">CSS</a></span><span class="bright">Last updated on: August 14, 2004</span></p>
+<p><span class="bleft"><a href="http://validator.w3.org/check/referer">XHTML</a> + <a href="http://jigsaw.w3.org/css-validator/check/referer">CSS</a></span><span class="bright">Last updated on: September 7, 2004</span></p>
 </div>
 </body>