[cl-unification-cvs] CVS cl-unification/docs/html

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv14907

Modified Files: aref-template-class.html array-template-class.html control-flow.html downloads.html element-template-class.html elt-template-class.html expression-template-class.html find-variable-value-function.html hash-t-read-macro.html index.html links.html mailing-lists.html make-empty-environment-function.html make-shared-environment-function.html match-case-macro.html match-macro.html matching-macro.html nil-template-class.html nth-template-class.html nthcdr-template-class.html number-template-class.html standard-object-template-class.html structure-object-template-class.html symbol-template-class.html template-class.html template-p-function.html template-spec-accessor.html templates.html type-template-class.html unification-dictionary.html unify-function.html unify-package.html unifying-substitutions.html usci-variable.html Log Message: Copyright updated, Cleaned the documentation, fixed a few typos and, above all, fixed (most) navigation links.

--- /project/cl-unification/cvsroot/cl-unification/docs/html/aref-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/aref-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class AREF-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="element-template-class.html" class="navigation-link">Previous</a> + | <a href="elt-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -168,6 +169,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -179,7 +181,7 @@ </li>

</ul> - +--> </div> </div> @@ -194,7 +196,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/array-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class ARRAY-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="type-template-class.html" class="navigation-link">Previous</a> + | <a href="nil-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -189,6 +190,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -200,7 +202,7 @@ </li>

</ul> - +--> </div> </div> @@ -215,7 +217,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2011/03/06 15:09:51 1.3 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/control-flow.html 2012/12/29 23:25:22 1.4 @@ -25,37 +25,41 @@ </tr>

<tr height="100%"> - <td height="100%">&nbsp;</td> - <td valign="top" width="80%" height="100%"> - - <div class="content"> - <div class="text" style="padding-top: 10px;"> - - <h1>Control Flow</h1> + <td height="100%">&nbsp;</td> + <td valign="top" width="80%" height="100%">

- <p>In order to make the use of the UNIFICATION library easier, a few - utility macros are provided. The macros MATCH, MATCHING, and - MATCH-CASE can be used to unify two (or more) objects and then to - build a lexical environment where the variables present in the to - objects (or templates) are bound to the values resulting from the - application of UNIFY.</p> + <div class="content"> + <div class="text" style="padding-top: 10px;">

- <p> - <ul> - <li>MATCH is a "single shot" macro. It does one unification and - executes forms in an appropriate lexical environment.</li> + <h1>Control Flow</h1>

- <li>MATCH-CASE is equivalent to CASE. It tries to match a single - object (or template) against a set of clauses. The forms associated - to the first clause for which there is a successful unification, are - then executed within an appropriate lexical environment. - - <li>MATCHING is equivalent to COND. Each clause contains a - <em>head</em consisting of two objects to be unified. The first - clause whose head unifies sucessfully has its associated forms - executed within an appropriate lexical environment. - </ul> - </p> + <p>In order to make the use of the UNIFICATION library easier, a few + utility macros are provided. The macros MATCH, MATCHING, and + MATCH-CASE can be used to unify two (or more) objects and then to + build a lexical environment where the variables present in the to + objects (or templates) are bound to the values resulting from the + application of UNIFY.</p> + + <p> + <ul> + <li>MATCH is a "single shot" macro. It does one unification and + executes forms in an appropriate lexical environment.</li> + + <li>MATCH-CASE is equivalent to CASE. It tries to match a single + object (or template) against a set of clauses. The forms associated + to the first clause for which there is a successful unification, are + then executed within an appropriate lexical environment.</li> + + <li>MATCHING is equivalent to COND. Each clause contains a + <em>head</em> consisting of two objects to be unified. The first + clause whose head unifies sucessfully has its associated forms + executed within an appropriate lexical environment.</li> + </ul> + </p> + + <p>There are also the macro MATCHF and MATCHF-CASE, which do not + evaluate the pattern; they can be used to produce more streamlined + code.</p>

<h1>Examples</h1> @@ -143,9 +147,10 @@ <h1>Control Flow Dictionary</h1>

<ul> - <li><a href="match-macro.html"><i>Macro</i> <b>MATCH</b></a> - <li><a href="matching-macro.html"><i>Macro</i> <b>MATCHING</b></a> - <li><a href="match-case-macro.html"><i>Macro</i> <b>MATCH-CASE</b></a> + <li><a href="match-macro.html"><i>Macros</i> <b>MATCH</b> and <b>MATCHF</b></a> + <li><a href="match-case-macro.html"><i>Macros</i> <b>MATCH-CASE</b> + and <b>MATCHF-CASE</b></a> + <li><a href="matching-macro.html"><i>Macro</i> <b>MATCHING</b></a> </ul>

@@ -173,7 +178,7 @@

<!-- -;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved. +;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved. ;;; ;;; Permission to use, modify, and redistribute this code is hereby ;;; granted. @@ -181,6 +186,7 @@ ;;; will not be held liable etc etc etc etc etc. -->

+ <!-- <h2>Site Map</h2>

@@ -192,7 +198,7 @@ <p>Questions? Queries? Suggestions? Comments? Please direct them at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. </p> - +--> </div> </div> @@ -234,7 +240,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2011, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2011/03/06 15:07:02 1.4 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/downloads.html 2012/12/29 23:25:22 1.5 @@ -70,7 +70,7 @@ ;;; will not be held liable etc etc etc etc etc. -->

- <h2>Site Map</h2> + <!-- <h2>Site Map</h2> -->

<p>Enjoy!</p> @@ -79,7 +79,7 @@

<hr> <p>Questions? Queries? Suggestions? Comments? Please direct them - at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. + at <a href="mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me</a>. </p>

</div> @@ -124,7 +124,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2011, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/element-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/element-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class ELEMENT-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="expression-template-class.html" class="navigation-link">Previous</a> + | <a href="aref-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -93,7 +94,7 @@

<div class="content"> <div class="text" style="padding-top: 10px;"> - +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -105,7 +106,7 @@ </li>

</ul> - +--> </div> </div> @@ -120,7 +121,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/elt-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class ELT-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="aref-template-class.html" class="navigation-link">Previous</a> + | <a href="nth-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -138,6 +139,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -149,7 +151,7 @@ </li>

</ul> - +--> </div> </div> @@ -164,7 +166,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/expression-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/expression-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class EXPRESSION-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="template-class.html" class="navigation-link">Previous</a> + | <a href="element-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -93,7 +94,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -104,7 +105,7 @@ </li>

</ul> - +--> </div> </div> @@ -119,7 +120,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-value-function.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/find-variable-value-function.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Function FIND-VARIABLE-VALUE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="make-shared-environment-function.html" class="navigation-link">Previous</a> + | <a href="match-macro.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -49,12 +50,20 @@ </pre> </p>

+ <p> + <pre> + <b>v?</b> <i>variable-name</i> <i>env</i> &amp;optional <i>plain-symbol-p</i> + => <i>value</i>, <i>found</i> + </pre> + </p> + <h3>Arguments and Values:</h3>

- <p><i><code>variable-name</code></i>---a <i>symbol</i> denoting a <em>unification variable</em></p> - <p><i><code>env</code></i>---an <i>unification-environment</i></p> - <p><i><code>value</code></i>---an <i>object</i></p> - <p><i><code>found</code></i>---a <i>boolean</i></p> + <p><i><code>variable-name</code></i> : a <i>symbol</i> denoting a <em>unification variable</em></p> + <p><i><code>plain-symbol-p</code></i> : a <i>boolean</i></p> + <p><i><code>env</code></i> : a <i>unification-environment</i></p> + <p><i><code>value</code></i> : an <i>object</i></p> + <p><i><code>found</code></i> : a <i>boolean</i></p>

@@ -74,7 +83,11 @@ default.) If <i>errorp</i> is NIL then FIND-VARIABLE-NAME returns the values NIL and NIL.</p>

- <p><i>env</i> defaults to *NULL-ENVIRONMENT*. + <p><i>env</i> defaults to *NULL-ENVIRONMENT*.</p> + + <p>The V? function is a utility to be used for debugging purposes at + the listener. The optional argument <i>plain-symbol-p</i> can be + used to avoid using the '?' syntax for variables.</p>

<h2>Affected By:</h2> @@ -108,7 +121,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -119,7 +132,7 @@ </li>

</ul> - +--> </div> </div> @@ -134,7 +147,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macro.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/hash-t-read-macro.html 2012/12/29 23:25:22 1.2 @@ -11,11 +11,12 @@ <td colspan="3"> <div class="header" style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;"> - <strong><i>CL Unification: Standard Generic Function TEMPLATE-SPEC</title></i></strong> + <strong><i>CL Unification: #T Reader Macro</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="template-spec-accessor.html" class="navigation-link">Previous</a> + | <a href="make-empty-environment-function.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -103,7 +104,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -114,7 +115,7 @@ </li>

</ul> - +--> </div> </div> @@ -129,7 +130,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2012/01/16 15:43:46 1.8 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2012/12/29 23:25:22 1.9 @@ -14,6 +14,7 @@ <strong><i>CL Extensions: UNIFICATION</i><string> <div class="navigation"> <a href="index.html" class="navigation-link-selected">Home</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="mailing-lists.html" class="navigation-link">Mailing Lists</a> | <a href="links.html" class="navigation-link">Links</a> @@ -308,7 +309,7 @@

<!-- -;;; Copyright (c) 2004-2011 Marco Antoniotti, All rigths reserved. +;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved. ;;; ;;; Permission to use, modify, and redistribute this code is hereby ;;; granted. @@ -316,6 +317,7 @@ ;;; will not be held liable etc etc etc etc etc. -->

+<!-- <h2>Site Map</h2>

@@ -327,7 +329,7 @@ <p>Questions? Queries? Suggestions? Comments? Please direct them at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. </p> - +--> </div> </div> @@ -351,13 +353,7 @@ <ul> <li><strong>2011-02-20</strong><br> CL-UNIFICATION is now in <a href="www.quicklisp.org">Quicklisp</a>. - <li><strong>2007-11-09</strong><br> - Updated. - <li><strong>2004-11-04</strong><br> - Updated. - <li><strong>2004-05-05</strong><br> - Started the site. - </li> + </li> </ul>

</div> @@ -374,7 +370,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2004-2012, Marco Antoniotti, all rights reserved. + &copy; 2004-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/links.html 2011/03/06 15:06:12 1.5 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/links.html 2012/12/29 23:25:22 1.6 @@ -47,7 +47,7 @@

<!-- -;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved. +;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved. ;;; ;;; Permission to use, modify, and redistribute this code is hereby ;;; granted. @@ -58,7 +58,7 @@

<hr> <p>Questions? Queries? Suggestions? Comments? Please direct them - at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. + at <a href="mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me</a>. </p>

</div> @@ -110,7 +110,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2011, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.html 2011/03/06 15:05:27 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/mailing-lists.html 2012/12/29 23:25:22 1.3 @@ -55,7 +55,7 @@

<!-- -;;; Copyright (c) 2004-2011 Marco Antoniotti, All rigths reserved. +;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved. ;;; ;;; Permission to use, modify, and redistribute this code is hereby ;;; granted. @@ -72,7 +72,7 @@

<hr> <p>Questions? Queries? Suggestions? Comments? Please direct them - at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. + at <a href="mailto:mantoniotti_PROVA_A_SPAMMARME [@] common-lisp.net">me</a>. </p>

</div> @@ -117,7 +117,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2011, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/make-empty-environment-function.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/make-empty-environment-function.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Function MAKE-EMPTY-ENVIRONMENT</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="hash-t-read-macro.html" class="navigation-link">Previous</a> + | <a href="make-shared-environment-function.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -94,7 +95,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -105,7 +106,7 @@ </li>

</ul> - +--> </div> </div> @@ -120,7 +121,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-environment-function.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/make-shared-environment-function.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Function MAKE-SHARED-ENVIRONMENT</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="make-empty-environment-function.html" class="navigation-link">Previous</a> + | <a href="find-variable-value-function.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -85,7 +86,7 @@

<p>This function is provided to allow for the construction of "trees" of frames for interpreter-like environments. The macros - MATCH, MATCHING, and MATCH-CASE rely on this function, as they + MATCH, MATCHF, MATCHING, MATCHF-CASE and MATCH-CASE rely on this function, as they immediately construct a "shared" environment.</p>

<h3>Current Implementation Note</h3> @@ -93,9 +94,6 @@ <p>MAKE-SHARED-ENVIRONMENT relies on the LIST implementation of environments.</p>

- <p>The use of MAKE-SHARED-ENVIRONMENT in MATCHING and MATDCH-CASE is - still incomplete.</p> - </td>

<!-- <td height="100%">&nbsp;</td> --> @@ -108,7 +106,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -119,7 +117,7 @@ </li>

</ul> - +--> </div> </div> @@ -134,7 +132,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/match-case-macro.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/match-case-macro.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Macro MATCH-CASE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="matching-macro.html" class="navigation-link">Previous</a> + <!-- | <a href="index.html" class="navigation-link">Next</a> --> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -121,7 +122,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -132,7 +133,7 @@ </li>

</ul> - +--> </div> </div> @@ -147,7 +148,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -156,4 +157,4 @@ </body> </html>

-<!-- end of file -- usci-variable.html --> +<!-- end of file -- match-case-macro.html --> --- /project/cl-unification/cvsroot/cl-unification/docs/html/match-macro.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/match-macro.html 2012/12/29 23:25:22 1.2 @@ -1,6 +1,6 @@ <html> <head> - <title>CL Unification: Macro MATCH</title> + <title>CL Unification: Macros MATCH and MATCHF</title> <link rel="stylesheet" href="main.css"> </head> @@ -11,11 +11,12 @@ <td colspan="3"> <div class="header" style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;"> - <strong><i>CL Unification: Macro MATCH</title></i></strong> + <strong><i>CL Unification: Macros MATCH and MATCHF</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="find-variable-value-function.html" class="navigation-link">Previous</a> + | <a href="matching-macro.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -50,6 +51,13 @@ </pre> </p>

+ <p> + <pre> + <b>matchf</b> (<i>template</i> <i>object</i> &amp;key <i>substitution</i> <i>errorp</i> <i>error-value</i>) &amp;body <i>forms</i> + => <i>results</i>* + </pre> + </p> + <h3>Arguments and Values:</h3>

<p><i><code>template</code></i>---a <i>unification template</i> @@ -79,6 +87,10 @@ UNIFICATION-FAILURE, otherwise the result of evaluating <i>error-value</i>, whose default is NIL is returned.</p>

+ <p>MATCHF works as MATCH but it does not evaluate <i>template</i>; + it is useful whenever the template is cons that needs to be used + as-is, without resorting to explicit quoting.</p> +

<h2>Affected By:</h2>

@@ -113,7 +125,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -124,7 +136,7 @@ </li>

</ul> - +--> </div> </div> @@ -139,7 +151,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -148,4 +160,4 @@ </body> </html>

-<!-- end of file -- usci-variable.html --> +<!-- end of file -- match-macro.html --> --- /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/matching-macro.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Macro MATCHING</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="match-macro.html" class="navigation-link">Previous</a> + | <a href="match-case-macro.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -120,7 +121,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -131,7 +132,8 @@ </li>

</ul> - +--> + </div> </div> @@ -146,7 +148,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -155,4 +157,4 @@ </body> </html>

-<!-- end of file -- usci-variable.html --> +<!-- end of file -- match-macro.html --> --- /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-class.html 2005/05/20 16:38:06 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/nil-template-class.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class NIL-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="array-template-class.html" class="navigation-link">Previous</a> + | <a href="number-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -131,6 +132,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -142,7 +144,8 @@ </li>

</ul> - +--> + </div> </div> @@ -157,7 +160,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/nth-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class NTH-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="elt-template-class.html" class="navigation-link">Previous</a> + | <a href="nthcdr-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -129,6 +130,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -140,7 +142,7 @@ </li>

</ul> - +--> </div> </div> @@ -155,7 +157,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/nthcdr-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/nthcdr-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class NTHCDR-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="nth-template-class.html" class="navigation-link">Previous</a> + | <a href="type-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -129,7 +130,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -140,6 +141,7 @@ </li>

</ul> + -->

</div> </div> @@ -155,7 +157,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/number-template-class.html 2005/05/20 16:18:33 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/number-template-class.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class NUMBER-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="nil-template-class.html" class="navigation-link">Previous</a> + | <a href="symbol-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -146,6 +147,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -157,7 +159,7 @@ </li>

</ul> - +--> </div> </div> @@ -172,7 +174,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/standard-object-template-class.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/standard-object-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class STANDARD-OBJECT-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="symbol-template-class.html" class="navigation-link">Previous</a> + | <a href="structure-object-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -189,7 +190,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -200,7 +201,7 @@ </li>

</ul> - +--> </div> </div> @@ -215,7 +216,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/structure-object-template-class.html 2004/11/17 22:19:56 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/structure-object-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class STRUCTURE-OBJECT-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="standard-object-template-class.html" class="navigation-link">Previous</a> + | <a href="regular-expression-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -167,7 +168,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -178,7 +179,7 @@ </li>

</ul> - +--> </div> </div> @@ -193,7 +194,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/symbol-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/symbol-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class SYMBOL-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="number-template-class.html" class="navigation-link">Previous</a> + | <a href="standard-object-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -114,7 +115,7 @@

<div class="content"> <div class="text" style="padding-top: 10px;"> - +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -126,7 +127,7 @@ </li>

</ul> - +--> </div> </div> @@ -141,7 +142,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="usci-variable.html" class="navigation-link">Previous</a> + | <a href="expression-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -100,6 +101,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -111,7 +113,7 @@ </li>

</ul> - +--> </div> </div> @@ -126,7 +128,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-function.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-p-function.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Standard Generic Function TEMPLATE-P</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="regular-expression-template-class.html" class="navigation-link">Previous</a> + | <a href="template-spec-accessor.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -95,7 +96,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -106,7 +107,7 @@ </li>

</ul> - +--> </div> </div> @@ -121,7 +122,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-accessor.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/template-spec-accessor.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Standard Generic Function TEMPLATE-SPEC</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="template-p-function.html" class="navigation-link">Previous</a> + | <a href="hash-t-read-macro.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -101,7 +102,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -112,7 +113,8 @@ </li>

</ul> - +--> + </div> </div> @@ -127,7 +129,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -135,3 +137,5 @@ </table> </body> </html> + +<!-- end of file : template-spec-accessor.html --> --- /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html 2011/03/06 15:09:10 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/templates.html 2012/12/29 23:25:22 1.3 @@ -138,7 +138,7 @@

<!-- -;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved. +;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved. ;;; ;;; Permission to use, modify, and redistribute this code is hereby ;;; granted. @@ -146,6 +146,7 @@ ;;; will not be held liable etc etc etc etc etc. -->

+ <!-- <h2>Site Map</h2>

@@ -157,7 +158,7 @@ <p>Questions? Queries? Suggestions? Comments? Please direct them at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. </p> - +--> </div> </div> @@ -198,7 +199,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2011, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Class TYPE-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="nthcdr-template-class.html" class="navigation-link">Previous</a> + | <a href="array-template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> --- /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html 2011/03/06 15:11:59 1.4 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unification-dictionary.html 2012/12/29 23:25:22 1.5 @@ -14,8 +14,8 @@ <strong><i>CL Extensions: UNIFICATION Dictionary</i><string> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="index.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + <!-- | <a href="index.html" class="navigation-link">Previous</a> --> + | <a href="unify-package.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -58,20 +58,24 @@ <li><a href="standard-object-template-class.html"><i>Class</i> <b>STANDARD-OBJECT-TEMPLATE</b></a></li> <li><a href="structure-object-template-class.html"><i>Class</i> <b>STRUCTURE-OBJECT-TEMPLATE</b></a></li>

- <li><a href="make-template-function.html"><i>Function</i> <b>MAKE-TEMPLATE</b></a> + <li><a href="regular-expression-template-class.html"><i>Class</i> <b>REGULAR-EXPRESSION-TEMPLATE</b></a></li> + + <!-- <li><a href="make-template-function.html"><i>Function</i> <b>MAKE-TEMPLATE</b></a> --> <li><a href="template-p-function.html"><i>Generic function</i> <b>TEMPLATE-P</b></a> <li><a href="template-spec-accessor.html"><i>Accessor</i> <b>TEMPLATE-SPEC</b></a> <li><a href="hash-t-read-macro.html"><i>Reader Macro</i> <b>#T</b></a> <li><a href="make-empty-environment-function.html"><i>Function</i> <b>MAKE-EMPTY-ENVIRONMENT</b></a> + <li><a href="make-shared-environment-function.html"><i>Function</i> <b>MAKE-SHARED-ENVIRONMENT</b></a> <li><a href="find-variable-value-function.html"><i>Function</i> <b>FIND-VARIABLE-VALUE</b></a> - <li><a href="match-macro.html"><i>Macro</i> <b>MATCH</b></a> + <li><a href="match-macro.html"><i>Macros</i> <b>MATCH</b> and <b>MATCHF</b></a> + <li><a href="match-case-macro.html"><i>Macros</i> <b>MATCH-CASE</b> + and <b>MATHCF-CASE</b></a> <li><a href="matching-macro.html"><i>Macro</i> <b>MATCHING</b></a> - <li><a href="match-case-macro.html"><i>Macro</i> <b>MATCH-CASE</b></a> </ul>

<!-- -;;; Copyright (c) 2004-2005 Marco Antoniotti, All rigths reserved. +;;; Copyright (c) 2004-2013 Marco Antoniotti, All rigths reserved. ;;; ;;; Permission to use, modify, and redistribute this code is hereby ;;; granted. @@ -79,7 +83,7 @@ ;;; will not be held liable etc etc etc etc etc. -->

-<!-- <h2>Site Map</h2> --> +<!-- <h2>Site Map</h2>

<p>Enjoy!</p> @@ -90,7 +94,8 @@ <p>Questions? Queries? Suggestions? Comments? Please direct them at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. </p> - +--> + </div> </div> @@ -133,7 +138,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2011, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html 2011/02/11 17:49:39 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-function.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Standard Generic Function UNIFY</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="unify-package.html" class="navigation-link">Previous</a> + | <a href="usci-variable.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -364,6 +365,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -375,7 +377,7 @@ </li>

</ul> - +--> </div> </div> @@ -390,7 +392,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.html 2004/11/17 22:19:55 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unify-package.html 2012/12/29 23:25:22 1.2 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Package CL.EXT.DACF.UNIFICATION</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + <!-- | <a href="unify-package.html" class="navigation-link">Previous</a> --> + | <a href="unify-function.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -79,6 +80,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

+ <!-- <h1>News</h1>

<p>News in chronological order, most recent on top. @@ -90,7 +92,7 @@ </li>

</ul> - +--> </div> </div> @@ -105,7 +107,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2011/03/06 15:08:30 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/unifying-substitutions.html 2012/12/29 23:25:22 1.3 @@ -135,6 +135,7 @@ ;;; will not be held liable etc etc etc etc etc. -->

+ <!-- <h2>Site Map</h2>

@@ -146,7 +147,7 @@ <p>Questions? Queries? Suggestions? Comments? Please direct them at <a href="mailto:marcoxa_PROVA_A_SPAMMARME@alu.org">me</a>. </p> - +--> </div> </div> @@ -187,7 +188,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2011, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> --- /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html 2011/02/11 17:49:39 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/usci-variable.html 2012/12/29 23:25:22 1.3 @@ -14,8 +14,9 @@ <strong><i>CL Unification: Variable *UNIFY-STRING-CASE-SENSITIVE-P*</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> - | <a href="unification-package.html" class="navigation-link">Previous</a> - | <a href="index.html" class="navigation-link">Next</a> + | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> + | <a href="unify-function.html" class="navigation-link">Previous</a> + | <a href="template-class.html" class="navigation-link">Next</a> | <a href="downloads.html" class="navigation-link">Downloads</a> | <a href="links.html" class="navigation-link">Links</a> </div> @@ -91,7 +92,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;">

- <h1>News</h1> +<!-- <h1>News</h1>

<p>News in chronological order, most recent on top. </p> @@ -102,7 +103,7 @@ </li>

</ul> - +--> </div> </div> @@ -117,7 +118,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - &copy; 2003-2004, Marco Antoniotti, all rights reserved. + &copy; 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr>