Changeset 4481 for trunk/manuals

Timestamp:

10/04/08 08:43:47 (3 months ago)

Author:

pmoura

Message:

Improved the Logtalk built-in debugger to print clause numbers for static predicates at the unification ports ("fact" and "rule").

Location:

trunk/manuals

Files:

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

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: September 26, 2008</span>
+        <span>Last updated on: October 4, 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: September 26, 2008</span>
+        <span>Last updated on: October 4, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/running.html

@@ -264 +264 @@
         <dd>unification success between a goal and a rule head</dd>
 </dl>
+<p>
+For static predicates, the debugger prints the clause number at the unification ports: <code>fact(N)</code> or <code>rule(N)</code> indicates that clause <code>N</code> is being used for proving a goal.
+</p>
 <p>
 The user may define for which ports the debugger should pause for user interaction by specifying a list of leashed ports. For example:
@@ -517 +520 @@
 <div class="footer">
     <div class="copyright">
-        <span>Copyright &copy; August 16, 2008</span>
+        <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 4, 2008</span>
     </div>
     <div class="navbottom">

trunk/manuals/userman/userman.header

@@ -36 +36 @@
         <span>http://logtalk.org/</span>
     </p>
-    <p class="date">Last updated on August 25, 2008</p>
+    <p class="date">Last updated on October 4, 2008</p>
 </div>