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

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv30211 Modified Files: ChangeLog Log Message: ChangeLog updated. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2007/05/21 16:55:57 1.2 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2007/05/21 17:12:58 1.3 @@ -1,3 +1,26 @@ +2007-05-21 author <author(a)Paniscia-di-Marco-Antoniotti.local> + + * README, ACKNOWLEDGEMENTS, COPYING, INSTALLATION: + Updated copyrights dates and changed a few instructions in the + INSTALLATION file. + + * docs/html/index.html: Updated copyrights dates. + + * ChangeLog: ChangeLog updated. + + * unification-package.lisp, unification.asd, apply-substitution.lisp, match-block.lisp, substitutions.lisp: + See previous message. + + * unification.system: + Added file 'apply-substitition.lisp' with a few new functions that are + a start for the variable substitition operation. + + New fixes to the MATCH and MATCH-CASE macros. They should now work as + advertised. + + Minor changes to other files: added exports to package file, fixed + .system and .asd files. + 2007-05-21 author <author(a)paniscia.disco.unimib.it> * unification.system:

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv30120 Modified Files: README Log Message: Updated copyrights dates and changed a few instructions in the INSTALLATION file. --- /project/cl-unification/cvsroot/cl-unification/README 2005/05/19 23:00:18 1.2 +++ /project/cl-unification/cvsroot/cl-unification/README 2007/05/21 17:11:51 1.3 @@ -1,6 +1,6 @@ CL-UNIFICATION -Marco Antoniotti 2004-2005 +Marco Antoniotti (c) 2004-2007 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 mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv30099 Modified Files: INSTALLATION Log Message: Updated copyrights dates and changed a few instructions in the INSTALLATION file. --- /project/cl-unification/cvsroot/cl-unification/INSTALLATION 2004/11/17 22:19:54 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/INSTALLATION 2007/05/21 17:11:47 1.2 @@ -13,6 +13,8 @@ will make the UNIFY package available. +There is also an ASDF system definition for those who use this system. + If your CL implementation is ASDF-INSTALL aware, you should also be able to just say

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv30076 Modified Files: COPYING Log Message: Updated copyrights dates and changed a few instructions in the INSTALLATION file. --- /project/cl-unification/cvsroot/cl-unification/COPYING 2005/05/19 22:52:52 1.2 +++ /project/cl-unification/cvsroot/cl-unification/COPYING 2007/05/21 17:11:45 1.3 @@ -1,4 +1,4 @@ -Copyright (c) 2004-2005 Marco Antoniotti +Copyright (c) 2004-2007 Marco Antoniotti All rights reserved. Permission is hereby granted, without written agreement and without

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv30059 Modified Files: ACKNOWLEDGEMENTS Log Message: Updated copyrights dates and changed a few instructions in the INSTALLATION file. --- /project/cl-unification/cvsroot/cl-unification/ACKNOWLEDGEMENTS 2005/05/19 22:58:34 1.1 +++ /project/cl-unification/cvsroot/cl-unification/ACKNOWLEDGEMENTS 2007/05/21 17:11:42 1.2 @@ -6,5 +6,9 @@ The following individuals have provided feedback and (precious) bug fixes. +Korablin, Vladimir V. +Leuner, John Scott, Peter Werner, Norman + +

1 0

[cl-unification-cvs] CVS cl-unification/docs/html
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory clnet:/tmp/cvs-serv29916 Modified Files: index.html Log Message: Updated copyrights dates. --- /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2005/05/20 15:47:44 1.4 +++ /project/cl-unification/cvsroot/cl-unification/docs/html/index.html 2007/05/21 17:10:26 1.5 @@ -368,7 +368,7 @@ <tr> <td colspan="3" valign="bottom" align="right"> <div class="copyright"> - © 2003-2004, Marco Antoniotti, all rights reserved. + © 2004-2007, Marco Antoniotti, all rights reserved. </div> </td> </tr>

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv26060 Modified Files: ChangeLog Log Message: ChangeLog updated. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2005/05/19 22:54:27 1.1 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2007/05/21 16:55:57 1.2 @@ -1,3 +1,97 @@ +2007-05-21 author <author(a)paniscia.disco.unimib.it> + + * unification.system: + Added file 'apply-substitition.lisp' with a few new functions that are + a start for the variable substitition operation. + + New fixes to the MATCH and MATCH-CASE macros. They should now work as + advertised. + + Minor changes to other files: added exports to package file, fixed + .system and .asd files. + +2006-07-19 author <author(a)paniscia.disco.unimib.it> + + * templates-hierarchy.lisp, unifier.lisp: + Fixed two problems with the unifier machinery. + + The first one had to do with the matching of NIL against SYMBOL and LIST + in several places: essentially, the problem is incongruencies in the + results of COMPUTE-APPLICABLE-METHODS in these cases. I think I caught + most of them: unification of lists and the occur-check were the obvious + places where things went awry. + + The second problem had to do with the reader macro #T. The original + code generated an object at read time, which is not such a good idea. + Now the code generates a call to MAKE-TEMPLATE with is evaluated later. + Incidentally, the reader macro function is now called |sharp-T-reader|, in + order to placate Emacs fontification. + + Modified Files: + templates-hierarchy.lisp unifier.lisp + + * unification-package.lisp: Added missing export. + +2005-10-25 author <author(a)paniscia.disco.unimib.it> + + * unifier.lisp: 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. + + * match-block.lisp: + Fixed problem with checking the presence of T and OTHERWISE clauses in + MATCHING. + +2005-07-25 author <author(a)paniscia.disco.unimib.it> + + * docs/html/downloads.html: Minor cleanup. + +2005-05-20 author <author(a)paniscia.disco.unimib.it> + + * docs/html/links.html: Fixed typos. + + * docs/html/nil-template-class.html: Fixed bug in documentation. + + * docs/html/links.html: Page updated. + + * docs/html/unification-dictionary.html: Incremental change to page. + + * docs/html/number-template-class.html: Fixed a documentation bug. + Thanks to Norman Werner for spotting it. + + * docs/html/index.html: Added link to "Mailing Lists" page. + + * docs/html/mailing-lists.html: File added. + + * unifier.lisp: + 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. + +2005-05-19 author <author(a)paniscia.disco.unimib.it> + + * README: Year updated. + + * ACKNOWLEDGEMENTS: File added. + + * ChangeLog: ChangeLog updated. + + * COPYING: Updated copyright notice. + + * docs/html/downloads.html, docs/html/index.html: + Changed the DISCLAIMER parts in the files, in order to clarify the licensing + of the code. + 2005-05-19 mantoniotti <mantoniotti@vault> * COPYING: Updated copyright notice.

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv31922 Modified Files: unification.asd Log Message: See previous message. --- /project/cl-unification/cvsroot/cl-unification/unification.asd 2005/04/27 19:31:18 1.1 +++ /project/cl-unification/cvsroot/cl-unification/unification.asd 2007/05/21 12:33:18 1.2 @@ -12,6 +12,7 @@ (:file "lambda-list-parsing") (:file "templates-hierarchy") (:file "unifier") - (:file "match-block"))) + (:file "match-block") + (:file "apply-substitution"))) ;;; end of file -- unification.asd --

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv31895 Modified Files: unification-package.lisp Log Message: See previous message. --- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2006/07/19 20:28:49 1.2 +++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2007/05/21 12:33:15 1.3 @@ -14,7 +14,8 @@ "*UNIFY-STRING-CASE-INSENSITIVE-P*" "UNIFY" "FIND-VARIABLE-VALUE" - "MAKE-EMPTY-ENVIRONMENT") + "MAKE-EMPTY-ENVIRONMENT" + "APPLY-SUBSTITUTION") (:export "MATCH" "MATCHING"

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 21 May '07

21 May '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv31847 Modified Files: substitutions.lisp Log Message: See previous message. --- /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2004/11/17 22:19:54 1.1.1.1 +++ /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2007/05/21 12:33:09 1.2 @@ -24,11 +24,22 @@ (declare (type binding b)) (car b)) +(defun (setf binding-variable) (v b) + (declare (type binding b)) + (setf (car b) v)) + + (defun binding-value (b) (declare (type binding b)) (cdr b)) +(defun (setf binding-value) (v b) + (declare (type binding b)) + (setf (cdr b) v)) + + + (define-condition unification-variable-unbound (unbound-variable) () )

1 0