[cl-unification-cvs] CVS cl-unification

[mantoniotti]

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 at 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 at 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 at 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 at paniscia.disco.unimib.it>
+
+	* docs/html/downloads.html: Minor cleanup.
+
+2005-05-20  author  <author at 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 at 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 at vault>
 
 	* COPYING: Updated copyright notice.