Changeset 4470 for trunk/manuals

Timestamp:

09/22/08 08:18:55 (4 months ago)

Author:

pmoura

Message:

Added a syntax construct for easy access to parametric object proxies represented as Prolog facts when sending a message ({Proxy}::Message). Updated the "proxies" example to illustrate this new functionality.

Location:

trunk/manuals

Files:

• index.html (modified) (1 diff)
• userman/index.html (modified) (1 diff)
• userman/objects.html (modified) (2 diffs)

trunk/manuals/index.html

@@ -32 +32 @@
     <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: August 25, 2008</span>
+        <span>Last updated on: September 22, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/index.html

@@ -304 +304 @@
     <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: August 25, 2008</span>
+        <span>Last updated on: September 22, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/objects.html

@@ -194 +194 @@
 </p>
 <p>
-Compound terms with the same functor and (usually) the same number of arguments as a parametric object identifier may act as <em>proxies</em> to a parametric object. Proxies may be stored on the database as Prolog facts and be used to represent different instantiations of a parametric object identifier.
+Compound terms with the same functor and (usually) the same number of arguments as a parametric object identifier may act as <em>proxies</em> to a parametric object. Proxies may be stored on the database as Prolog facts and be used to represent different instantiations of a parametric object identifier. Logtalk provides a convenient notation for accessing proxies represented as Prolog facts when sending a message:
+</p>
+<pre>{Proxy}::Message</pre>
+<p>
+In this context, the proxy argument is proved as a plain Prolog goal. If successful, the message is sent to the corresponding parametric object. Typically, the proof allows retrieving of parameter instantiations. This notation supports backtracking over the Prolog facts that unify with the proxy term. When this behavior is unwanted, is possible to commit to the first unifying fact by writing:
+</p>
+<pre>{Proxy}::(!, Message)</pre>
+<p>
+In most cases, however, the use of cuts is not necessary as this construct is usually used with a proxy argument that is partially instantiated in order to unify with a single Prolog fact.
 </p>
 
@@ -439 +447 @@
     <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: May 21, 2008</span>
+        <span>Last updated on: September 22, 2008</span>
     </div>
     <div class="navbottom">