From mantoniotti at common-lisp.net  Thu May 19 22:50:00 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 00:50:00 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/downloads.html
	cl-unification/docs/html/index.html 
Message-ID: <20050519225000.0B0DD8873D@common-lisp.net>

Update of /project/cl-unification/cvsroot/cl-unification/docs/html
In directory common-lisp.net:/tmp/cvs-serv25953/docs/html

Modified Files:
	downloads.html index.html 
Log Message:
Changed the DISCLAIMER parts in the files, in order to clarify the licensing
of the code.

Date: Fri May 20 00:50:00 2005
Author: mantoniotti

Index: cl-unification/docs/html/downloads.html
diff -u cl-unification/docs/html/downloads.html:1.1 cl-unification/docs/html/downloads.html:1.2
--- cl-unification/docs/html/downloads.html:1.1	Fri Jan 28 20:46:37 2005
+++ cl-unification/docs/html/downloads.html	Fri May 20 00:49:59 2005
@@ -41,13 +41,11 @@
   completely tested and it is bound to contain errors and omissions.
   This documentation may contain errors and omissions as well.</p>
 
-  <p>Finally, the license under which the code is released is not
-  settled yet, although the file <tt>COPYING</tt> contains a
-  Berkeley-style license.  For the time being you are advised to use
-  the code at your own risk.  No warranty whatsoever is provided, the
-  author will not be held responsible for any effect generated by your
-  use of the library, and you can put here the scarier extra
-  disclaimer you can think of.
+  <p>The file <tt>COPYING</tt> contains a Berkeley-style license. You
+  are advised to use the code at your own risk.  No warranty
+  whatsoever is provided, the author will not be held responsible for
+  any effect generated by your use of the library, and you can put
+  here the scarier extra disclaimer you can think of.
   </p>
   </em>
   <hr>


Index: cl-unification/docs/html/index.html
diff -u cl-unification/docs/html/index.html:1.2 cl-unification/docs/html/index.html:1.3
--- cl-unification/docs/html/index.html:1.2	Fri Jan 28 20:45:40 2005
+++ cl-unification/docs/html/index.html	Fri May 20 00:49:59 2005
@@ -41,13 +41,11 @@
   completely tested and it is bound to contain errors and omissions.
   This documentation may contain errors and omissions as well.</p>
 
-  <p>Finally, the license under which the code is released is not
-  settled yet, although the file <tt>COPYING</tt> contains a
-  Berkeley-style license.  For the time being you are advised to use
-  the code at your own risk.  No warranty whatsoever is provided, the
-  author will not be held responsible for any effect generated by your
-  use of the library, and you can put here the scarier extra
-  disclaimer you can think of.
+  <p>The file <tt>COPYING</tt> contains a Berkeley-style license. You
+  are advised to use the code at your own risk.  No warranty
+  whatsoever is provided, the author will not be held responsible for
+  any effect generated by your use of the library, and you can put
+  here the scarier extra disclaimer you can think of.
   </p>
   </em>
   <hr>



From mantoniotti at common-lisp.net  Thu May 19 22:52:53 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 00:52:53 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update: cl-unification/COPYING 
Message-ID: <20050519225253.D4C078873D@common-lisp.net>

Update of /project/cl-unification/cvsroot/cl-unification
In directory common-lisp.net:/tmp/cvs-serv26017

Modified Files:
	COPYING 
Log Message:
Updated copyright notice.

Date: Fri May 20 00:52:52 2005
Author: mantoniotti

Index: cl-unification/COPYING
diff -u cl-unification/COPYING:1.1.1.1 cl-unification/COPYING:1.2
--- cl-unification/COPYING:1.1.1.1	Wed Nov 17 23:19:54 2004
+++ cl-unification/COPYING	Fri May 20 00:52:52 2005
@@ -1,4 +1,4 @@
-Copyright (c) 2004 Marco Antoniotti
+Copyright (c) 2004-2005 Marco Antoniotti
 All rights reserved.
  
 Permission is hereby granted, without written agreement and without
@@ -12,10 +12,10 @@
 THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF THE AUTHOR(S),
 HAVE BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-THE AUTHOR(S) UNIVERSITY SPECIFICALLY DISCLAIMS ANY WARRANTIES,
-INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF
-MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE. THE SOFTWARE
-PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND THE AUTHOR(S) HAVE NO
-OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
-MODIFICATIONS.
+THE AUTHOR(S) UNIVERSITY, COMPANY AND/OR AFFILIATION SPECIFICALLY
+DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
+WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+PURPOSE. THE SOFTWARE PROVIDED HEREUNDER IS ON AN "AS IS" BASIS, AND
+THE AUTHOR(S) HAVE NO OBLIGATION TO PROVIDE MAINTENANCE, SUPPORT,
+UPDATES, ENHANCEMENTS, OR MODIFICATIONS.
 



From mantoniotti at common-lisp.net  Thu May 19 22:54:27 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 00:54:27 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update: cl-unification/ChangeLog 
Message-ID: <20050519225427.BF18B8873D@common-lisp.net>

Update of /project/cl-unification/cvsroot/cl-unification
In directory common-lisp.net:/tmp/cvs-serv26054

Added Files:
	ChangeLog 
Log Message:
ChangeLog updated.

Date: Fri May 20 00:54:27 2005
Author: mantoniotti




From mantoniotti at common-lisp.net  Thu May 19 22:58:34 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 00:58:34 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update: cl-unification/ACKNOWLEDGEMENTS 
Message-ID: <20050519225834.CD7788873D@common-lisp.net>

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




From mantoniotti at common-lisp.net  Thu May 19 23:00:19 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 01:00:19 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update: cl-unification/README 
Message-ID: <20050519230019.5E5F68873D@common-lisp.net>

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.



From mantoniotti at common-lisp.net  Fri May 20 15:19:54 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 17:19:54 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update: cl-unification/unifier.lisp 
Message-ID: <20050520151954.121E488750@common-lisp.net>

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



From mantoniotti at common-lisp.net  Fri May 20 15:47:02 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 17:47:02 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/mailing-lists.html 
Message-ID: <20050520154702.E314088752@common-lisp.net>

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




From mantoniotti at common-lisp.net  Fri May 20 15:47:45 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 17:47:45 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/index.html 
Message-ID: <20050520154745.0B02788752@common-lisp.net>

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>



From mantoniotti at common-lisp.net  Fri May 20 16:18:34 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 18:18:34 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/number-template-class.html 
Message-ID: <20050520161834.54B0388752@common-lisp.net>

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>
  



From mantoniotti at common-lisp.net  Fri May 20 16:27:05 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 18:27:05 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/unification-dictionary.html 
Message-ID: <20050520162705.E2C4188752@common-lisp.net>

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 @@
   
 
 <!--
-;;; Copyright (c) 2004 Marco Antoniotti, All rigths reserved.
+;;; Copyright (c) 2004-2005 Marco Antoniotti, All rigths reserved.
 ;;;
 ;;; Permission to use, modify, and redistribute this code is hereby
 ;;; granted.
@@ -72,7 +79,7 @@
 ;;; will not be held liable etc etc etc etc etc.
 -->
 
-  <h2>Site Map</h2>
+<!--  <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>
 



From mantoniotti at common-lisp.net  Fri May 20 16:33:24 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 18:33:24 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/links.html 
Message-ID: <20050520163324.E0B9C88752@common-lisp.net>

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>



From mantoniotti at common-lisp.net  Fri May 20 16:38:06 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 18:38:06 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/nil-template-class.html 
Message-ID: <20050520163806.E6DA488752@common-lisp.net>

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>
 



From mantoniotti at common-lisp.net  Fri May 20 16:41:17 2005
From: mantoniotti at common-lisp.net (Marco Antoniotti)
Date: Fri, 20 May 2005 18:41:17 +0200 (CEST)
Subject: [cl-unification-cvs] CVS update:
	cl-unification/docs/html/links.html 
Message-ID: <20050520164117.1488588750@common-lisp.net>

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>