cl-unification-cvs December 2012

cl-unification-cvs@common-lisp.net

1 participants
13 discussions

[cl-unification-cvs] CVS cl-unification/docs/html
by CVS User mantoniotti 30 Dec '12

30 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv28590 Modified Files: type-template-class.html Log Message: Fixed a few typos and cleaned up. --- /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2012/12/29 23:25:22 1.2 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/type-template-class.html 2012/12/30 00:07:09 1.3 @@ -95,7 +95,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;"> - <h1>News</h1> + </div> </div> @@ -121,7 +121,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[cl-unification-cvs] CVS cl-unification
by CVS User mantoniotti 30 Dec '12

30 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv27526 Modified Files: TIMESTAMP Log Message: Timestamp updated. --- /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/12/29 23:55:28 1.2 +++ /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/12/30 00:03:34 1.3 @@ -1 +1 @@ -20121229 +20121230

1 0

[cl-unification-cvs] CVS cl-unification
by CVS User mantoniotti 30 Dec '12

30 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv27361 Modified Files: README Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/README 2011/01/18 14:55:22 1.5 +++ /project/cl-unification/cvsroot/cl-unification/README 2012/12/30 00:02:58 1.6 @@ -1,6 +1,6 @@ CL-UNIFICATION -Marco Antoniotti (c) 2004-2011 +Marco Antoniotti (c) 2004-2013 The directory containing this file you are reading should contain the code and the documentation of the CL-UNIFICATION package.

1 0

[cl-unification-cvs] CVS cl-unification
by CVS User mantoniotti 30 Dec '12

30 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv27048 Modified Files: ChangeLog Log Message: ChangeLog updated. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2012/12/03 15:40:48 1.16 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2012/12/30 00:01:29 1.17 @@ -1,3 +1,27 @@ +2012-12-30 author <author(a)149-210-0-252.mobile.mycosmos.gr> + + * unification-package.lisp: + Exported a few mor symbols (which should have been exported already). + + * TIMESTAMP: Timestamp updated. + + * COPYING: Copyright updated. + + * docs/html/regular-expression-template.html: File added. + + * docs/html/aref-template-class.html, docs/html/array-template-class.html, docs/html/control-flow.html, docs/html/downloads.html, docs/html/element-template-class.html, docs/html/elt-template-class.html, docs/html/expression-template-class.html, docs/html/find-variable-value-function.html, docs/html/hash-t-read-macro.html, docs/html/index.html, docs/html/links.html, docs/html/mailing-lists.html, docs/html/make-empty-environment-function.html, docs/html/make-shared-environment-function.html, docs/html/match-case-macro.html, docs/html/match-macro.html, docs/html/matching-macro.html, docs/html/nil-template-class.html, docs/html/nth-template-class.html, docs/html/nthcdr-template-class.html, docs/html/number-template-class.html, docs/html/standard-object-template-class.html, docs/html/structure-object-template-class.html, docs/html/symbol-template-class.html, docs/html/template-class.html, docs/html/template-p-function.html, docs/html/template-spec-accessor.html, docs/html/templates.html, docs/html/type-template-class.html, docs/html/unification-dictionary.html, docs/html/unify-function.html, docs/html/unify-package.html, docs/html/unifying-substitutions.html, docs/html/usci-variable.html: + Copyright updated, Cleaned the documentation, fixed a few typos and, + above all, fixed (most) navigation links. + + * docs/html/regular-expression-template-class.html: + Added documentation for REGULAR-EXPRESSION-TEMPLATE. + +2012-12-03 author <author(a)149-210-0-252.mobile.mycosmos.gr> + + * ChangeLog: ChangeLog updated. + + * match-block.lisp: Fixed doc strings in MATCH-CASE and MATCHF-CASE. + 2012-12-03 author <author(a)paniscia.usilu.net> * match-block.lisp: Fixed doc strings in MATCH-CASE and MATCHF-CASE.

1 0

[cl-unification-cvs] CVS cl-unification
by CVS User mantoniotti 30 Dec '12

30 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv26948 Modified Files: unification-package.lisp Log Message: Exported a few mor symbols (which should have been exported already). --- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2011/06/15 12:03:50 1.10 +++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2012/12/30 00:00:47 1.11 @@ -66,14 +66,47 @@ (:export "MAKE-TEMPLATE" - "TEMPLATEP" + "TEMPLATE" + "TEMPLATE-P" "TEMPLATE-SPEC" "COLLECT-TEMPLATE-VARS" ) + (:export + "EXPRESSION-TEMPLATE" + "ELEMENT-TEMPLATE" + "AREF-TEMPLATE" + "ELT-TEMPLATE" + "NTH-TEMPLATE" + "NTHCDR-TEMPLATE" + "TYPE-TEMPLATE" + "ARRAY-TEMPLATE" + "NIL-TEMPLATE" + "NUMBER-TEMPLATE" + "SYMBOL-TEMPLATE" + "STANDARD-OBJECT-TEMPLATE" + "STRUCTURE-OBJECT-TEMPLATE" + + "EXPRESSION-TEMPLATE-P" + "ELEMENT-TEMPLATE-P" + "AREF-TEMPLATE-P" + "ELT-TEMPLATE-P" + "NTH-TEMPLATE-P" + "NTHCDR-TEMPLATE-P" + "TYPE-TEMPLATE-P" + "ARRAY-TEMPLATE-P" + "NIL-TEMPLATE-P" + "NUMBER-TEMPLATE-P" + "SYMBOL-TEMPLATE-P" + "STANDARD-OBJECT-TEMPLATE-P" + "STRUCTURE-OBJECT-TEMPLATE-P" + ) + #+cl-ppcre (:export + "REGULAR-EXPRESSION-TEMPLATE" + "REGULAR-EXPRESSION-TEMPLATE-P" "REGULAR-EXPRESSION" "REGEXP") )

1 0

[cl-unification-cvs] CVS cl-unification
by CVS User mantoniotti 29 Dec '12

29 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv24104 Modified Files: TIMESTAMP Log Message: Timestamp updated. --- /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/01/16 15:46:32 1.1 +++ /project/cl-unification/cvsroot/cl-unification/TIMESTAMP 2012/12/29 23:55:28 1.2 @@ -1 +1 @@ -20120116 +20121229

1 0

[cl-unification-cvs] CVS cl-unification
by CVS User mantoniotti 29 Dec '12

29 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification In directory tiger.common-lisp.net:/tmp/cvs-serv23989 Modified Files: COPYING Log Message: Copyright updated. --- /project/cl-unification/cvsroot/cl-unification/COPYING 2012/01/09 12:54:33 1.7 +++ /project/cl-unification/cvsroot/cl-unification/COPYING 2012/12/29 23:54:47 1.8 @@ -1,4 +1,4 @@ -Copyright (c) 2004-2012 Marco Antoniotti +Copyright (c) 2004-2013 Marco Antoniotti All rights reserved. Permission is hereby granted, without written agreement and without @@ -18,4 +18,3 @@ PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE AUTHOR(S) HAVE NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR MODIFICATIONS. -

1 0

[cl-unification-cvs] CVS cl-unification/docs/html
by CVS User mantoniotti 29 Dec '12

29 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv23922/docs/html Added Files: regular-expression-template.html Log Message: File added. --- /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template.html 2012/12/29 23:54:21 NONE +++ /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template.html 2012/12/29 23:54:21 1.1 <html> <head> <title>CL Unification: Class REGULAR-EXPRESSION-TEMPLATE</title> <link rel="stylesheet" href="main.css"> </head> <body marginheight="0" marginwidth="0" leftmargin="0" topmargin="0" bgcolor="#ffffff"> <table border="0" cellpadding="0" cellspacing="0" width="100%" height="100%" vspace="0" hspace="0"> <tr> <td colspan="3"> <div class="header" style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;"> <strong><i>CL Unification: Class REGULAR-EXPRESSION-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> | <a href="structure-object-template-class.html" class="navigation-link">Previous</a> | <a href="template-p-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> </div> <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> <div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div> <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> </td> </tr> <tr height="100%"> <td height="100%"> </td> <td valign="top" width="80%" height="100%"> <div class="content"> <div class="text" style="padding-top: 10px;"> <h1><i>Class</i> <strong>REGULAR-EXPRESSION-TEMPLATE</strong></h1> <h2>Package:</h2> <p><code>COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION</code></p> <h2>Class Precedence List:</h2> <p> REGULAR-EXPRESSION-TEMPLATE, STRING-TEMPLATE, VECTOR-TEMPLATE, SEQUENCE-TEMPLATE, ARRAY-TEMPLATE, TYPE-TEMPLATE, TEMPLATE, STANDARD-OBJECT, T. </p> <h2>Known Subclasses:</h2> <p> None. </p> <h2>Slots:</h2> <p>None documented.</p> <h2>Description:</h2> <p>The REGULAR-EXPRESSION-TEMPLATE class denotes <em>regular expressions</em> (the <a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a> regular expressions) that are used to unify against a STRING.</p> <h3>Template Syntax:</h3> <p>The spec syntax for a REGULAR-EXPRESSION-TEMPLATE is the following:</p> <p> <pre> #T(<b>regular-expression</b> <i>REGEXP</i> &optional <i>unification-vars</i> &rest <i>keys</i>) #T(<b>regexp</b> <i>REGEXP</i> &optional <i>unification-vars</i> &rest <i>keys</i>) </pre> where <pre> <i>REGEXP</i> ::= <a <a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a> regexp string or tree> <i>unification-vars</i> ::= '(' <i>variable</i>* ')' <i>keys</i> ::= <<a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a> (constant) keys to be passed to CL-PPCRE:CREATE-SCANNER> </pre> </p> <p><b><code>regular-expression</code></b> and <b><code>regexp</code></b> are interchangeable. The <code><i>unification-vars</i></code>, if present, are unified (i.e., associated) with each group returned by the scanner created by CL-PPCRE:CREATE-SCANNER. The scanner is called by the appropriate <a href="unify-function.html">UNIFY</a> method. </p> <h2>Examples:</h2> <p> <pre> cl-prompt> (unify "abcbca" #T(<b>regexp</b> "a(bc)*a")) #<ENVIRONMENT xxx> cl-prompt> (unify #T(regexp "a(cb)*a" (?foo)) "acbcba") #<ENVIRONMENT xyz> cl-prompt> (find-variable-value '?foo *) "cb" T </pre> </p> <h2>Affected By:</h2> <p>None.</p> <h2>Exceptional Situations:</h2> <p>Unifying an REGULAR-EXPRESSION-TEMPLATE against a non-STRING object results in an UNIFICATION-FAILURE error being signaled.</p> <h2>See Also:</h2> <p><a href="unify-function.html">UNIFY</a></p> <h2>Notes:</h2> <p>The underlying implementation uses <a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a>.</p> </td>  </tr> <tr height="100%"> <td height="100%"> </td> <td valign="top" width="80%" height="100%"> <div class="content"> <div class="text" style="padding-top: 10px;">  </div> </div> </td> <td height="100%"> </td> </tr> <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> </table> </body> </html>

1 0

[cl-unification-cvs] CVS cl-unification/docs/html
by CVS User mantoniotti 29 Dec '12

29 Dec '12

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;"> +  </div> </div> @@ -194,7 +196,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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;"> +  </div> </div> @@ -215,7 +217,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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%"> </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%"> </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 @@  +  </div> </div> @@ -234,7 +240,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2011, Marco Antoniotti, all rights reserved. + © 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> +  <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"> - © 2003-2011, Marco Antoniotti, all rights reserved. + © 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;"> - + </div> </div> @@ -120,7 +121,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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;"> +  </div> </div> @@ -164,7 +166,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> + </div> </div> @@ -119,7 +120,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> &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> + </div> </div> @@ -134,7 +147,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> + </div> </div> @@ -129,7 +130,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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 @@  + </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"> - © 2004-2012, Marco Antoniotti, all rights reserved. + © 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 @@  </div> </div> @@ -120,7 +121,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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>  @@ -108,7 +106,7 @@ <div class="content"> <div class="text" style="padding-top: 10px;"> - <h1>News</h1> + </div> </div> @@ -134,7 +132,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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="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> + </div> </div> @@ -147,7 +148,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -156,4 +157,4 @@ </body> </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> &key <i>substitution</i> <i>errorp</i> <i>error-value</i>) &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> + </div> </div> @@ -139,7 +151,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -148,4 +160,4 @@ </body> </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> + + </div> </div> @@ -146,7 +148,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -155,4 +157,4 @@ </body> </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;"> +  + </div> </div> @@ -157,7 +160,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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;"> +  </div> </div> @@ -155,7 +157,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> + </div> </div> @@ -155,7 +157,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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;"> +  </div> </div> @@ -172,7 +174,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> + </div> </div> @@ -215,7 +216,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> + </div> </div> @@ -193,7 +194,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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;"> - + </div> </div> @@ -141,7 +142,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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;"> +  </div> </div> @@ -126,7 +128,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> + </div> </div> @@ -121,7 +122,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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> + + </div> </div> @@ -127,7 +129,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> @@ -135,3 +137,5 @@ </table> </body> </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 @@  +  </div> </div> @@ -198,7 +199,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2011, Marco Antoniotti, all rights reserved. + © 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="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="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>  - + + </div> </div> @@ -133,7 +138,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2011, Marco Antoniotti, all rights reserved. + © 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;"> +  </div> </div> @@ -390,7 +392,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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-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;"> +  </div> </div> @@ -105,7 +107,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 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. --> +  </div> </div> @@ -187,7 +188,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2011, Marco Antoniotti, all rights reserved. + © 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> + </div> </div> @@ -117,7 +118,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[cl-unification-cvs] CVS cl-unification/docs/html
by CVS User mantoniotti 29 Dec '12

29 Dec '12

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory tiger.common-lisp.net:/tmp/cvs-serv14742 Added Files: regular-expression-template-class.html Log Message: Added documentation for REGULAR-EXPRESSION-TEMPLATE. --- /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template-class.html 2012/12/29 23:23:47 NONE +++ /project/cl-unification/cvsroot/cl-unification/docs/html/regular-expression-template-class.html 2012/12/29 23:23:47 1.1 <html> <head> <title>CL Unification: Class REGULAR-EXPRESSION-TEMPLATE</title> <link rel="stylesheet" href="main.css"> </head> <body marginheight="0" marginwidth="0" leftmargin="0" topmargin="0" bgcolor="#ffffff"> <table border="0" cellpadding="0" cellspacing="0" width="100%" height="100%" vspace="0" hspace="0"> <tr> <td colspan="3"> <div class="header" style="font-family:=Verdana,Arial,Helvetica; font-size: 18px; color: #41286f;"> <strong><i>CL Unification: Class REGULAR-EXPRESSION-TEMPLATE</title></i></strong> <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> | <a href="unification-dictionary.html" class="navigation-link">Dictionary</a> | <a href="structure-object-template-class.html" class="navigation-link">Previous</a> | <a href="template-p-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> </div> <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> <div class="middle-bar"><img src="images/shim.gif" height="5" width="1"></div> <div class="black-line"><img src="images/shim.gif" height="1" width="1"></div> </td> </tr> <tr height="100%"> <td height="100%"> </td> <td valign="top" width="80%" height="100%"> <div class="content"> <div class="text" style="padding-top: 10px;"> <h1><i>Class</i> <strong>REGULAR-EXPRESSION-TEMPLATE</strong></h1> <h2>Package:</h2> <p><code>COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION</code></p> <h2>Class Precedence List:</h2> <p> REGULAR-EXPRESSION-TEMPLATE, STRING-TEMPLATE, VECTOR-TEMPLATE, SEQUENCE-TEMPLATE, ARRAY-TEMPLATE, TYPE-TEMPLATE, TEMPLATE, STANDARD-OBJECT, T. </p> <h2>Known Subclasses:</h2> <p> None. </p> <h2>Slots:</h2> <p>None documented.</p> <h2>Description:</h2> <p>The REGULAR-EXPRESSION-TEMPLATE class denotes <em>regular expressions</em> (the <a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a> regular expressions) that are used to unify against a STRING.</p> <h3>Template Syntax:</h3> <p>The spec syntax for a REGULAR-EXPRESSION-TEMPLATE is the following:</p> <p> <pre> #T(<b>regular-expression</b> <i>REGEXP</i> &optional <i>unification-vars</i> &rest <i>keys</i>) #T(<b>regexp</b> <i>REGEXP</i> &optional <i>unification-vars</i> &rest <i>keys</i>) </pre> where <pre> <i>REGEXP</i> ::= <a <a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a> regexp string or tree> <i>unification-vars</i> ::= '(' <i>variable</i>* ')' <i>keys</i> ::= <<a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a> (constant) keys to be passed to CL-PPCRE:CREATE-SCANNER> </pre> </p> <p><b><code>regular-expression</code></b> and <b><code>regexp</code></b> are interchangeable. The <code><i>unification-vars</i></code>, if present, are unified (i.e., associated) with each group returned by the scanner created by CL-PPCRE:CREATE-SCANNER. The scanner is called by the appropriate <a href="unify-function.html">UNIFY</a> method. </p> <h2>Examples:</h2> <p> <pre> cl-prompt> (unify "abcbca" #T(<b>regexp</b> "a(bc)*a")) #<ENVIRONMENT xxx> cl-prompt> (unify #T(regexp "a(cb)*a" (?foo)) "acbcba") #<ENVIRONMENT xyz> cl-prompt> (find-variable-value '?foo *) "cb" T </pre> </p> <h2>Affected By:</h2> <p>None.</p> <h2>Exceptional Situations:</h2> <p>Unifying an REGULAR-EXPRESSION-TEMPLATE against a non-STRING object results in an UNIFICATION-FAILURE error being signaled.</p> <h2>See Also:</h2> <p><a href="unify-function.html">UNIFY</a></p> <h2>Notes:</h2> <p>The underlying implementation uses <a href="http://weitz.de/cl-ppcre/">CL-PPCRE</a>. If CL-PPCRE is not available in the system, CL-UNIFICATION will not have REGULAR-EXPRESSION-TEMPLATE working.</p> </td>  </tr> <tr height="100%"> <td height="100%"> </td> <td valign="top" width="80%" height="100%"> <div class="content"> <div class="text" style="padding-top: 10px;">  </div> </div> </td> <td height="100%"> </td> </tr> <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> © 2003-2013, Marco Antoniotti, all rights reserved. </div> </td> </tr> </table> </body> </html>

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

cl-unification-cvs December 2012