Changeset 4215 for trunk/manuals/refman/directives/mode2.html

Timestamp:

04/22/08 07:26:38 (6 months ago)

Author:

pmoura

Message:

Improved documentation of the mode/2 predicate directive.

Files:

• trunk/manuals/refman/directives/mode2.html (modified) (2 diffs)

trunk/manuals/refman/directives/mode2.html

@@ -26 +26 @@
 <pre>mode(Mode, Number_of_solutions)</pre>
 <p>
-Most predicates can be used with several instantiations modes. This directive enables the specification of each instantiation mode and the corresponding number of solutions (not necessarily distinct). You may also use this directive for documenting grammar rule non-terminals.
+Most predicates can be used with several instantiations modes. This directive enables the specification of each instantiation mode and the corresponding number of solutions (not necessarily distinct). You may also use this directive for documenting grammar rule non-terminals. Multiple directives may be used to specify the same predicate or grammar rule non-terminal.
 </p>
 
@@ -36 +36 @@
 <h4>Examples</h4>
 
-<pre>:- mode(append(-, -, +), zero_or_more).
-
-:- mode(append(+list, +list, -list), zero_or_one).
+<pre>:- mode(atom_concat(?atom, ?atom, +atom), one_or_more).
+:- mode(atom_concat(+atom, +atom, -atom), one).
 
 :- mode(var(@term), zero_or_one).
 
-:- mode(arg(-, -, +), error).</pre>
+:- mode(solve(+string, -list(atom)), zero_or_one).</pre>
 
 <div class="footer">
     <div class="copyright">
         <span>Copyright &copy; <a href="mailto:pmoura@logtalk.org">Paulo Moura</a> &mdash; <a href="http://logtalk.org">Logtalk.org</a></span><br/> 
-        <span>Last updated on: October 26, 2006</span>
+        <span>Last updated on: April 21, 2008</span>
     </div>
     <div class="navbottom">