- cl-unification-cvs@lists.common-lisp.net

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

25 Oct '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv5468 Modified Files: unifier.lisp Log Message: Fixed problem with the unification of a list with a SEQUENCE-TEMPLATE. The implementation was not checking that the length of the list was compatible with the length of the required elements in the template. Apart from that, keyword matching is still unimplemented. Date: Tue Oct 25 21:17:33 2005 Author: mantoniotti Index: cl-unification/unifier.lisp diff -u cl-unification/unifier.lisp:1.3 cl-unification/unifier.lisp:1.4 --- cl-unification/unifier.lisp:1.3 Fri May 20 17:19:53 2005 +++ cl-unification/unifier.lisp Tue Oct 25 21:17:33 2005 @@ -331,7 +331,9 @@ (let* ((n-vars (list-length vars)) (n-optionals (list-length optionals)) - (env (unify (subseq a 0 (list-length vars)) vars env)) + (env (unify (subseq a 0 (min ll (list-length vars))) + vars + env)) ) (when (and optionals (>= ll (+ n-vars n-optionals))) (setf env (unify (subseq a n-vars (+ n-vars n-optionals)) optionals env)))

1 0

[cl-unification-cvs] CVS update: cl-unification/match-block.lisp
by mantoniotti＠common-lisp.net 25 Oct '05

25 Oct '05

Update of /project/cl-unification/cvsroot/cl-unification In directory common-lisp.net:/tmp/cvs-serv4395 Modified Files: match-block.lisp Log Message: Fixed problem with checking the presence of T and OTHERWISE clauses in MATCHING. Date: Tue Oct 25 21:08:15 2005 Author: mantoniotti Index: cl-unification/match-block.lisp diff -u cl-unification/match-block.lisp:1.5 cl-unification/match-block.lisp:1.6 --- cl-unification/match-block.lisp:1.5 Wed Apr 27 23:04:36 2005 +++ cl-unification/match-block.lisp Tue Oct 25 21:08:15 2005 @@ -93,11 +93,15 @@ (let ((template-vars (collect-template-vars template))) (flet ((generate-var-bindings () (loop for v in template-vars - nconc (list `(,v (find-variable-value ',v ,clause-var)) + nconc (list `(,v (find-variable-value + ',v + ,clause-var)) `(,(clean-unify-var-name v) ,v)))) ) `((setf ,clause-var - (ignore-errors (unify ',template ,object ,substitution))) + (ignore-errors (unify ',template + ,object + ,substitution))) (let* (,@(generate-var-bindings)) ,@forms)) ))) @@ -105,10 +109,16 @@ (build-match-clause (match-clause match-env-var) (destructuring-bind ((template object) &body forms) match-clause - (%%match%% match-env-var template object forms '(make-empty-environment)))) + (%%match%% match-env-var + template + object + forms + '(make-empty-environment)))) ) - (when (or (> 1 (count t match-clauses :key #'first)) - (> 1 (count 'otherwise match-clauses :key #'first))) + (when (or (and (find t match-clauses :key #'first) + (find 'otherwise match-clauses :key #'first)) + (> (count t match-clauses :key #'first) 1) + (> (count 'otherwise match-clauses :key #'first) 1)) (error 'program-error)) (let* ((default-clause (or (find t match-clauses :key #'first) (find 'otherwise match-clauses :key #'first)))

1 0

[cl-unification-cvs] CVS update: cl-unification/docs/html/downloads.html
by mantoniotti＠common-lisp.net 25 Jul '05

25 Jul '05

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory common-lisp.net:/tmp/cvs-serv6483 Modified Files: downloads.html Log Message: Minor cleanup. Date: Mon Jul 25 17:15:09 2005 Author: mantoniotti Index: cl-unification/docs/html/downloads.html diff -u cl-unification/docs/html/downloads.html:1.2 cl-unification/docs/html/downloads.html:1.3 --- cl-unification/docs/html/downloads.html:1.2 Fri May 20 00:49:59 2005 +++ cl-unification/docs/html/downloads.html Mon Jul 25 17:15:08 2005 @@ -15,7 +15,7 @@ <div class="navigation"> <a href="index.html" class="navigation-link">Home</a> | <a href="downloads.html" class="navigation-link-selected">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>

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-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