May 2005 - cl-unification-cvs@common-lisp.net

[cl-unification-cvs] CVS update: cl-unification/docs/html/links.html
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv25879 Modified Files: links.html Log Message: Fixed typos. Date: Fri May 20 18:41:16 2005 Author: mantoniotti Index: cl-unification/docs/html/links.html diff -u cl-unification/docs/html/links.html:1.3 cl-unification/docs/html/links.html:1.4 --- cl-unification/docs/html/links.html:1.3 Fri May 20 18:33:24 2005 +++ cl-unification/docs/html/links.html Fri May 20 18:41:16 2005 @@ -40,8 +40,8 @@ <ul> <li><a href="http://common-lisp.net">common-lisp.net</a>: the host site.</li> <li><a href="http://clocc.sourceforge.net">CLOCC</a>: the site hosting <strong>MK:DEFSYSTEM</strong>.</li> - <li><a href="http://mitpress.mit.edu/sicp">Structure and Interpretation of Computer Programs</a>: the SICP site, where inspiration for the unifief can be found.</li> - <li><a href="http://www.norvig.com/paip.html">Paradigms of Artificial Intelligence Programming</a>: the PAIP site, where more inspiration for the unifief can be found.</li> + <li><a href="http://mitpress.mit.edu/sicp">Structure and Interpretation of Computer Programs</a>: the SICP site, where inspiration for the unifier can be found.</li> + <li><a href="http://www.norvig.com/paip.html">Paradigms of Artificial Intelligence Programming</a>: the PAIP site, where more inspiration for the unifier can be found.</li> </ul> </p>

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/nil-template-class.html
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv25828 Modified Files: nil-template-class.html Log Message: Fixed bug in documentation. Date: Fri May 20 18:38:06 2005 Author: mantoniotti Index: cl-unification/docs/html/nil-template-class.html diff -u cl-unification/docs/html/nil-template-class.html:1.1.1.1 cl-unification/docs/html/nil-template-class.html:1.2 --- cl-unification/docs/html/nil-template-class.html:1.1.1.1 Wed Nov 17 23:19:55 2004 +++ cl-unification/docs/html/nil-template-class.html Fri May 20 18:38:06 2005 @@ -61,7 +61,7 @@ <h2>Description:</h2> <p>The NIL-TEMPLATE class denotes those object that are used - to unify against a VECTOR.</p> + to unify against NIL.</p> <h3>Template Syntax:</h3>

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/links.html
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv25735 Modified Files: links.html Log Message: Page updated. Date: Fri May 20 18:33:24 2005 Author: mantoniotti Index: cl-unification/docs/html/links.html diff -u cl-unification/docs/html/links.html:1.2 cl-unification/docs/html/links.html:1.3 --- cl-unification/docs/html/links.html:1.2 Thu Apr 21 17:33:20 2005 +++ cl-unification/docs/html/links.html Fri May 20 18:33:24 2005 @@ -36,7 +36,14 @@ <p>Here are some links which are pertinent to the <strong>CL-UNIFICATION</strong> project.</p> - <p>...</p> + <p> + <ul> + <li><a href="http://common-lisp.net">common-lisp.net</a>: the host site.</li> + <li><a href="http://clocc.sourceforge.net">CLOCC</a>: the site hosting <strong>MK:DEFSYSTEM</strong>.</li> + <li><a href="http://mitpress.mit.edu/sicp">Structure and Interpretation of Computer Programs</a>: the SICP site, where inspiration for the unifief can be found.</li> + <li><a href="http://www.norvig.com/paip.html">Paradigms of Artificial Intelligence Programming</a>: the PAIP site, where more inspiration for the unifief can be found.</li> + </ul> + </p> <!-- @@ -75,6 +82,10 @@ </p> <ul> + <li><strong>2005-05-20</strong><br> + Updated (but not completed) the page. + </li> + <li><strong>2005-04-20</strong><br> Fixed (but not completed) the page. </li>

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/unification-dictionary.html
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv24778 Modified Files: unification-dictionary.html Log Message: Incremental change to page. Date: Fri May 20 18:27:05 2005 Author: mantoniotti Index: cl-unification/docs/html/unification-dictionary.html diff -u cl-unification/docs/html/unification-dictionary.html:1.1.1.1 cl-unification/docs/html/unification-dictionary.html:1.2 --- cl-unification/docs/html/unification-dictionary.html:1.1.1.1 Wed Nov 17 23:19:55 2004 +++ cl-unification/docs/html/unification-dictionary.html Fri May 20 18:27:05 2005 @@ -43,14 +43,21 @@ <li><a href="template-class.html"><i>Class</i> <b>TEMPLATE</b></a> <li><a href="expression-template-class.html"><i>Class</i> <b>EXPRESSION-TEMPLATE</b></a> <li><a href="element-template-class.html"><i>Class</i> <b>ELEMENT-TEMPLATE</b></a></li> - <li><a href="array-template-class.html"><i>Class</i> <b>ARRAY-TEMPLATE</b></a></li> + <li><a href="aref-template-class.html"><i>Class</i> <b>AREF-TEMPLATE</b></a></li> <li><a href="elt-template-class.html"><i>Class</i> <b>ELT-TEMPLATE</b></a></li> <li><a href="nth-template-class.html"><i>Class</i> <b>NTH-TEMPLATE</b></a></li> <li><a href="nthcdr-template-class.html"><i>Class</i> <b>NTHCDR-TEMPLATE</b></a></li> <li><a href="type-template-class.html"><i>Class</i> <b>TYPE-TEMPLATE</b></a> + + <li><a href="array-template-class.html"><i>Class</i> <b>ARRAY-TEMPLATE</b></a></li> + <li><a href="nil-template-class.html"><i>Class</i> <b>NIL-TEMPLATE</b></a> + <li><a href="number-template-class.html"><i>Class</i> <b>NUMBER-TEMPLATE</b></a></li> <li><a href="symbol-template-class.html"><i>Class</i> <b>SYMBOL-TEMPLATE</b></a> + <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="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> @@ -64,7 +71,7 @@  - <h2>Site Map</h2> + <p>Enjoy!</p> @@ -105,8 +112,10 @@ </p> <ul> + <li><strong>2005-05-20</strong><br> + Page updated. <li><strong>2004-05-05</strong><br> - Started the site. + Started the page. </li> </ul>

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/number-template-class.html
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv24684 Modified Files: number-template-class.html Log Message: Fixed a documentation bug. Thanks to Norman Werner for spotting it. Date: Fri May 20 18:18:33 2005 Author: mantoniotti Index: cl-unification/docs/html/number-template-class.html diff -u cl-unification/docs/html/number-template-class.html:1.1.1.1 cl-unification/docs/html/number-template-class.html:1.2 --- cl-unification/docs/html/number-template-class.html:1.1.1.1 Wed Nov 17 23:19:55 2004 +++ cl-unification/docs/html/number-template-class.html Fri May 20 18:18:33 2005 @@ -17,7 +17,7 @@ | <a href="unification-package.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> + | <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> @@ -61,7 +61,7 @@ <h2>Description:</h2> <p>The NUMBER-TEMPLATE class denotes those object that are used - to unify against a VECTOR.</p> + to unify against a NUMBER.</p> <h3>Template Syntax:</h3> @@ -132,7 +132,7 @@ <h2>Notes:</h2> - <p>There is no COMPLEX-NUMBER-TEMPLATE class, although a case for it can be easily made..</p> + <p>There is no COMPLEX-NUMBER-TEMPLATE class, although a case for it can be easily made.</p> </td>

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/index.html
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv22240 Modified Files: index.html Log Message: Added link to "Mailing Lists" page. Date: Fri May 20 17:47:44 2005 Author: mantoniotti Index: cl-unification/docs/html/index.html diff -u cl-unification/docs/html/index.html:1.3 cl-unification/docs/html/index.html:1.4 --- cl-unification/docs/html/index.html:1.3 Fri May 20 00:49:59 2005 +++ cl-unification/docs/html/index.html Fri May 20 17:47:44 2005 @@ -15,7 +15,8 @@ <div class="navigation"> <a href="index.html" class="navigation-link-selected">Home</a> | <a href="downloads.html" class="navigation-link">Downloads</a> - | <a href="links.html" class="navigation-link">Links</a> + | <a href="mailing-lists.html" class="navigation-link">Mailing Lists</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>

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/mailing-lists.html
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv22184 Added Files: mailing-lists.html Log Message: File added. Date: Fri May 20 17:47:02 2005 Author: mantoniotti

1 0

[cl-unification-cvs] CVS update: cl-unification/unifier.lisp
by mantoniotti＠common-lisp.net 20 May '05

20 May '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv20210 Modified Files: unifier.lisp Log Message: Fixed two major bugs reported by Norman Werver. Unification of strings and symbols and of numers and symbols was not recurring on VAR-UNIFY, as required; thus (unify '(?x ?x) '("asd" "qweert")) and (unify '(foo ?x baz) '(foo 42 ?x)) would succed. The two cases are now fixed. Date: Fri May 20 17:19:53 2005 Author: mantoniotti Index: cl-unification/unifier.lisp diff -u cl-unification/unifier.lisp:1.2 cl-unification/unifier.lisp:1.3 --- cl-unification/unifier.lisp:1.2 Fri Jan 28 20:30:35 2005 +++ cl-unification/unifier.lisp Fri May 20 17:19:53 2005 @@ -94,15 +94,15 @@ (defmethod unify ((a symbol) (b string) &optional (env (make-empty-environment))) (cond ((variable-any-p a) env) - ((variablep a) (extend-environment a b env)) + ((variablep a) (var-unify a b env)) (t (error 'unification-failure - :format-control "Cannot unify a symbol with a string: ~S ~S." - :format-arguments (list a b))))) + :format-control "Cannot unify a symbol with a string: ~S ~S." + :format-arguments (list a b))))) (defmethod unify ((b string) (a symbol) &optional (env (make-empty-environment))) (cond ((variable-any-p a) env) - ((variablep a) (extend-environment a b env)) + ((variablep a) (var-unify a b env)) (t (error 'unification-failure :format-control "Cannot unify a string with a symbol: ~S ~S." :format-arguments (list b a))))) @@ -121,13 +121,13 @@ (defmethod unify ((a symbol) (b t) &optional (env (make-empty-environment))) (cond ((variable-any-p a) env) - ((variablep a) (extend-environment a b env)) + ((variablep a) (var-unify a b env)) (t (call-next-method)))) (defmethod unify ((b t) (a symbol) &optional (env (make-empty-environment))) (cond ((variable-any-p a) env) - ((variablep a) (extend-environment a b env)) + ((variablep a) (var-unify a b env)) (t (call-next-method))))

1 0

[cl-unification-cvs] CVS update: cl-unification/README
by mantoniotti＠common-lisp.net 19 May '05

19 May '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv26483 Modified Files: README Log Message: Year updated. Date: Fri May 20 01:00:18 2005 Author: mantoniotti Index: cl-unification/README diff -u cl-unification/README:1.1.1.1 cl-unification/README:1.2 --- cl-unification/README:1.1.1.1 Wed Nov 17 23:19:54 2004 +++ cl-unification/README Fri May 20 01:00:18 2005 @@ -1,6 +1,6 @@ CL-UNIFICATION -Marco Antoniotti 2004 +Marco Antoniotti 2004-2005 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 update: cl-unification/ACKNOWLEDGEMENTS
by mantoniotti＠common-lisp.net 19 May '05

19 May '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv26081 Added Files: ACKNOWLEDGEMENTS Log Message: File added. Date: Fri May 20 00:58:34 2005 Author: mantoniotti

1 0