Thu May 19 22:54:27 UTC 2005 mantoniotti * ChangeLog updated. diff -rN -u old-cl-unification-1/ChangeLog new-cl-unification-1/ChangeLog --- old-cl-unification-1/ChangeLog 2013-07-24 17:40:13.000000000 +0000 +++ new-cl-unification-1/ChangeLog 2013-07-24 17:40:13.000000000 +0000 @@ -1,430 +1,3 @@ -2009-12-17 author - - * lib-dependent/cl-ppcre-template.asd: Initial checkin. - - * lib-dependent/cl-ppcre-template.lisp: - Patched to use Cl-PPCRE:SCAN-TO-STRINGS (thanks to Pixel // pinterface [a] gmail dot com). - - * unifier.lisp: Minor cosmetic changes. - - * unification-package.lisp: Exported MATCHF-CASE. - - * templates-hierarchy.lisp: - Fixed a couple of problems with some accessors in the NUMBER, - STRUCTURE-OBJECT and STANDARD-OBJECT templates. - - * match-block.lisp: Added MATCHF* macros. - -2009-04-18 author - - * ChangeLog: ChangeLog updated. - - * cl-unification.system, cl-unification.asd: - System definitions files (.asd and .system) modified in order to make - dependency form CL-PPCRE optional. - - * lib-dependent/cl-ppcre-template.system: File added. - - * lib-dependent/cl-ppcre-template.lisp: - Removed REQUIRE of CL-PPCRE. Too brittle. - - * cl-unification-lib.asd: File added. - -2009-04-18 author - - * cl-unification.system, cl-unification.asd: - System definitions files (.asd and .system) modified in order to make - dependency form CL-PPCRE optional. - - * lib-dependent/cl-ppcre-template.system: File added. - - * lib-dependent/cl-ppcre-template.lisp: - Removed REQUIRE of CL-PPCRE. Too brittle. - - * cl-unification-lib.asd: File added. - -2009-04-17 author - - * unification-package.lisp: - Added a few exports and changed the actual package name (i.e., I put - my money where my mouth is; the "published" package name is now a - nickname). - - * apply-substitution.lisp: - Fixed a couple of snags. APPLY-SUBSTITUTION was not applied - recursively and it was barfing on numbers. - Current version is still incomplete, but it serves as a template for - further development. - -2009-04-15 author - - * ChangeLog: ChangeLog updated. - - * lib-dependent/cl-ppcre-template.lisp, test/unification-tests.lisp: - Modified Files: - test/unification-tests.lisp - Added Files: - lib-dependent/cl-ppcre-template.lisp - - The cl-ppcre-template reuses E. Weitz's wonderful CL-PPCRE library - to provide a seamless (YMMV) reuse of regular expressions within - CL-UNIFICATION. - - * templates-hierarchy.lisp: Added LAMBDA-TEMPLATE. - - * substitutions.lisp: - Added some functionality to extract all variables and/or all values - from an environment or a frame. - - * match-block.lisp: - Added MATCHF (whose name may change) to simplify the - 'destructuring-bind'-like syntax and behavior of the matching - facilities. - - * COPYING: Dates updated. - - * unifier.lisp: - Major API change to 'unify'. It now accepts keywords. Old code - shouls not be affected, but new code is now more flexible. Look the - the STRING and (new) CHARACTER methods to see how this change is - affecting the code. - - * variables.lisp: Some 'diff' unfathomable change happened. - - * unification-package.lisp: Added exports of a few symbols. - - * cl-unification.system, cl-unification.asd: - Fixed a few snags and added "lib-dependent" module. - - * apply-substitution.lisp: Added some functionality and comments. - -2009-04-15 author - - * lib-dependent/cl-ppcre-template.lisp, test/unification-tests.lisp: - Modified Files: - test/unification-tests.lisp - Added Files: - lib-dependent/cl-ppcre-template.lisp - - The cl-ppcre-template reuses E. Weitz's wonderful CL-PPCRE library - to provide a seamless (YMMV) reuse of regular expressions within - CL-UNIFICATION. - - * templates-hierarchy.lisp: Added LAMBDA-TEMPLATE. - - * substitutions.lisp: - Added some functionality to extract all variables and/or all values - from an environment or a frame. - - * match-block.lisp: - Added MATCHF (whose name may change) to simplify the - 'destructuring-bind'-like syntax and behavior of the matching - facilities. - - * COPYING: Dates updated. - - * unifier.lisp: - Major API change to 'unify'. It now accepts keywords. Old code - shouls not be affected, but new code is now more flexible. Look the - the STRING and (new) CHARACTER methods to see how this change is - affecting the code. - - * variables.lisp: Some 'diff' unfathomable change happened. - - * unification-package.lisp: Added exports of a few symbols. - - * cl-unification.system, cl-unification.asd: - Fixed a few snags and added "lib-dependent" module. - - * apply-substitution.lisp: Added some functionality and comments. - -2008-07-13 author - - * ChangeLog: Changelog updated. - - * ACKNOWLEDGEMENTS: - Added credits to a few people. Missing ones should bug the maintainer :) - - * README: Copyright dates updated. - - * unification.asd, unification.system: Cleaning up. - Committing in . - - Removed Files: - unification.asd unification.system - - * templates-hierarchy-saved.lisp: Clenaing up. - Committing in . - - Removed Files: - templates-hierarchy-saved.lisp - - * INSTALLATION: Instructions updated. - - * COPYING: Copyright dates updated. - - * test/unification-tests.lisp: Added file. - - * substitutions.lisp, templates-hierarchy.lisp, unification-package.lisp, variables.lisp: - Some modification added. Exported symbols and reverted - reader macro #T to construct template instances at read time. - Added MAKE-LOAD-FORM method for templates which should fix problem with - SBCL. - - Committing in . - - Modified Files: - substitutions.lisp templates-hierarchy.lisp - unification-package.lisp variables.lisp - - * cl-unification.system: - Added explicit :source-extension to accomodate Allegro CL. - -2008-07-13 author - - * ACKNOWLEDGEMENTS: - Added credits to a few people. Missing ones should bug the maintainer :) - - * README: Copyright dates updated. - - * unification.asd, unification.system: Cleaning up. - Committing in . - - Removed Files: - unification.asd unification.system - - * templates-hierarchy-saved.lisp: Cleaning up. - Committing in . - - Removed Files: - templates-hierarchy-saved.lisp - - * INSTALLATION: Instructions updated. - - * COPYING: Copyright dates updated. - - * test/unification-tests.lisp: Added file. - - * substitutions.lisp, templates-hierarchy.lisp, unification-package.lisp, variables.lisp: - Some modification added. Exported symbols and reverted - reader macro #T to construct template instances at read time. - Added MAKE-LOAD-FORM method for templates which should fix problem with - SBCL. - - Committing in . - - Modified Files: - substitutions.lisp templates-hierarchy.lisp - unification-package.lisp variables.lisp - - * cl-unification.system: - Added explicit :source-extension to accomodate Allegro CL. - -2008-07-10 author - - * apply-substitution.lisp: - Removed EXPORT of APPLY-SUBSTITUTION as it is already in the DEFPACKAGE. - -2007-11-09 author - - * docs/html/index.html: Changed the position of the disclaimer. - - * ChangeLog: ChangeLog updated. - - * match-block.lisp: - Made several changes to improve MATCH-CASE (following a note from Ivan - Boldyrev from a long time ago), MATCHING and MATCH. - - Else-clauses are now handled correctly (AFAICT). - - Single variable templates in MATCH, MATCH-CASE and MATCHING clauses do - not need to be quoted. - - MATCHING was generating one gensym'ed variable per clause without - creating an appropriate enclosing LET. This is now fixed. - - * substitutions.lisp: - Changed the top comment and added a (:copier nil) option to the - ENVIRONMENT defstruct, as COPY-ENVIRONMENT is defined later in the - file. - - * cl-unification.system, cl-unification.asd: - Added the new system building files with more meaningful names - w.r.t. the name of the library. - - * unification.asd, unification.system: - Marked the two system building files as 'obsolete', before removing - them from the repository. The new files are prefixed by 'cl-'. - -2007-11-09 author - - * match-block.lisp: - Made several changes to improve MATCH-CASE (following a note from Ivan - Boldyrev from a long time ago), MATCHING and MATCH. - - Else-clauses are now handled correctly (AFAICT). - - Single variable templates in MATCH, MATCH-CASE and MATCHING clauses do - not need to be quoted. - - MATCHING was generating one gensym'ed variable per clause without - creating an appropriate enclosing LET. This is now fixed. - - * substitutions.lisp: - Changed the top comment and added a (:copier nil) option to the - ENVIRONMENT defstruct, as COPY-ENVIRONMENT is defined later in the - file. - - * cl-unification.system, cl-unification.asd: - Added the new system building files with more meaningful names - w.r.t. the name of the library. - - * unification.asd, unification.system: - Marked the two system building files as 'obsolete', before removing - them from the repository. The new files are prefixed by 'cl-'. - -2007-05-21 author - - * ChangeLog: ChangeLog updated. - - * 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 - - * 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 - - * 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 - - * 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 - - * 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 - - * docs/html/downloads.html: Minor cleanup. - -2005-05-20 author - - * 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 - - * 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 * COPYING: Updated copyright notice.