Changeset 4279

Timestamp:

05/25/08 06:45:04 (4 months ago)

Author:

pmoura

Message:

Improved documentation of the create_category/4 and create_protocol/3 built-in predicates.

Location:

trunk/manuals/refman/builtins

Files:

• create_category4.html (modified) (2 diffs)
• create_protocol3.html (modified) (2 diffs)

trunk/manuals/refman/builtins/create_category4.html

@@ -26 +26 @@
 <pre>create_category(Identifier, Relations, Directives, Clauses)</pre>
 <p>
-    Creates a new, dynamic, category.
+Creates a new, dynamic category.
 </p>
 
@@ -54 +54 @@
 <h4>Examples</h4>
 
-<pre>| ?- create_category(foo, [implements(bar)], [], [bar(1), bar(2)]).</pre>
+<pre>| ?- create_category(
+        tolerances,
+        [implements(comparing)],
+        [],
+        [epsilon(1e-15), (equal(X, Y) :- epsilon(E), abs(X-Y) =< E)]
+     ).</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: May 23, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/refman/builtins/create_protocol3.html

@@ -26 +26 @@
 <pre>create_protocol(Identifier, Relations, Directives)</pre>
 <p>
-Creates a new, dynamic, protocol.
+Creates a new, dynamic protocol.
 </p>
 
@@ -52 +52 @@
 <h4>Examples</h4>
 
-<pre>| ?- create_protocol(foo, [extends(bar)], [public(foo/1)]).</pre>
+<pre>| ?- create_protocol(
+        logging,
+        [extends(monitoring)],
+        [public([log_file/1, log_on/0, log_off/0])]
+     ).</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: May 23, 2008</span>
     </div>
     <div class="navbottom">