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

[cl-unification-cvs] CVS cl-unification
by mantoniotti 09 Nov '07

09 Nov '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv30125 Modified Files: substitutions.lisp Log Message: Changed the top comment and added a (:copier nil) option to the ENVIRONMENT defstruct, as COPY-ENVIRONMENT is defined later in the file. --- /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2007/05/21 12:33:09 1.2 +++ /project/cl-unification/cvsroot/cl-unification/substitutions.lisp 2007/11/09 13:35:55 1.3 @@ -1,8 +1,8 @@ -;;; -*- Mode: Lisp -*- +;;;; -*- Mode: Lisp -*- -;;; substitutions.lisp -;;; General CL structures unifier. -;;; Substitution definitions. +;;;; substitutions.lisp -- +;;;; General CL structures unifier. +;;;; Substitution definitions. Mostly a rehash of the usual SICP stuff. (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. @@ -76,7 +76,8 @@ ;;;--------------------------------------------------------------------------- ;;; Environments. -(defstruct (environment (:print-object print-environment)) +(defstruct (environment (:print-object print-environment) + (:copier nil)) (frames () :type list)) (defun print-environment (env stream) @@ -137,4 +138,4 @@ env)) -;;; end of file -- substitutions.lisp -- +;;;; end of file -- substitutions.lisp --

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 09 Nov '07

09 Nov '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv29862 Added Files: cl-unification.system Log Message: Added the new system building files with more meaningful names w.r.t. the name of the library. --- /project/cl-unification/cvsroot/cl-unification/cl-unification.system 2007/11/09 13:34:21 NONE +++ /project/cl-unification/cvsroot/cl-unification/cl-unification.system 2007/11/09 13:34:21 1.1 ;;;; -*- Mode: Lisp -*- ;;;; cl-unification.system -- ;;;; MK:DEFSYSTEM system file. (mk:defsystem "CL-UNIFICATION" :components ("unification-package" "variables" "substitutions" "lambda-list-parsing" "templates-hierarchy" "unifier" "match-block" "apply-substitution")) ;;; end of file -- cl-unification.system --

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 09 Nov '07

09 Nov '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv29825 Added Files: cl-unification.asd Log Message: Added the new system building files with more meaningful names w.r.t. the name of the library. --- /project/cl-unification/cvsroot/cl-unification/cl-unification.asd 2007/11/09 13:34:18 NONE +++ /project/cl-unification/cvsroot/cl-unification/cl-unification.asd 2007/11/09 13:34:18 1.1 ;;;; -*- Mode: Lisp -*- ;;;; cl-unification.asd -- ;;;; ASDF system file. (asdf:defsystem cl-unification :author "Marco Antoniotti" :serial t :components ((:file "unification-package") (:file "variables") (:file "substitutions") (:file "lambda-list-parsing") (:file "templates-hierarchy") (:file "unifier") (:file "match-block") (:file "apply-substitution"))) ;;;; end of file -- cl-unification.asd --

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 09 Nov '07

09 Nov '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv29467 Modified Files: unification.system Log Message: Marked the two system building files as 'obsolete', before removing them from the repository. The new files are prefixed by 'cl-'. --- /project/cl-unification/cvsroot/cl-unification/unification.system 2007/05/21 12:29:24 1.2 +++ /project/cl-unification/cvsroot/cl-unification/unification.system 2007/11/09 13:30:55 1.3 @@ -1,5 +1,12 @@ ;;; -*- Mode: Lisp -*- +;;; unification.system -- +;;; MK:DEFSYSTEM system file. +;;; +;;; Note: +;;; [20071109 MA] +;;; This file is OBSOLETE. Use 'cl-unification.system' instead. + (mk:defsystem "UNIFICATION" :components ("unification-package" "variables"

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 09 Nov '07

09 Nov '07

Update of /project/cl-unification/cvsroot/cl-unification In directory clnet:/tmp/cvs-serv29446 Modified Files: unification.asd Log Message: Marked the two system building files as 'obsolete', before removing them from the repository. The new files are prefixed by 'cl-'. --- /project/cl-unification/cvsroot/cl-unification/unification.asd 2007/05/21 12:33:18 1.2 +++ /project/cl-unification/cvsroot/cl-unification/unification.asd 2007/11/09 13:30:53 1.3 @@ -2,8 +2,12 @@ ;;; unification.asd -- ;;; ASDF system file. +;;; +;;; Note: +;;; [20071109 MA] +;;; This file is OBSOLETE. Use 'cl-unification.asd' instead. -(asdf:defsystem unification +(asdf:defsystem cl-unification :author "Marco Antoniotti" :serial t :components ((:file "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-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