cl-unification-cvs

cl-unification-cvs@common-lisp.net

158 discussions

[cl-unification-cvs] CVS cl-unification/docs/html/images
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification/docs/html/images In directory cl-net:/tmp/cvs-serv22423 Added Files: .cvsignore Log Message: File added. --- /project/cl-unification/cvsroot/cl-unification/docs/html/images/.cvsignore 2011/02/27 19:54:39 NONE +++ /project/cl-unification/cvsroot/cl-unification/docs/html/images/.cvsignore 2011/02/27 19:54:39 1.1 *.*fasl *.*fsl *~ .DS_Store THUM*.DBE

1 0

[cl-unification-cvs] CVS cl-unification/docs/html
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification/docs/html In directory cl-net:/tmp/cvs-serv22387 Added Files: .cvsignore Log Message: File added. --- /project/cl-unification/cvsroot/cl-unification/docs/html/.cvsignore 2011/02/27 19:54:15 NONE +++ /project/cl-unification/cvsroot/cl-unification/docs/html/.cvsignore 2011/02/27 19:54:15 1.1 *.*fasl *.*fsl *~ .DS_Store THUM*.DBE

1 0

[cl-unification-cvs] CVS cl-unification/docs
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification/docs In directory cl-net:/tmp/cvs-serv22340 Added Files: .cvsignore Log Message: File added. --- /project/cl-unification/cvsroot/cl-unification/docs/.cvsignore 2011/02/27 19:53:50 NONE +++ /project/cl-unification/cvsroot/cl-unification/docs/.cvsignore 2011/02/27 19:53:50 1.1 *.*fasl *.*fsl *~ .DS_Store THUM*.DBE

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv21770 Modified Files: ChangeLog Log Message: ChangeLog updated. --- /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/02/24 20:44:12 1.12 +++ /project/cl-unification/cvsroot/cl-unification/ChangeLog 2011/02/27 19:51:13 1.13 @@ -1,3 +1,41 @@ +2011-02-27 author <author(a)paniscia.local> + + * .cvsignore: Updated. + + * docs/html/images/Thumbs.db, docs/html/images/Thumbs.db:encryptable: + Removed Files: + Thumbs.db Thumbs.db:encryptable + +2011-02-26 author <author(a)paniscia.local> + + * .cvsignore: Updated. + + * variables.lisp, unifier.lisp: + Minor changes (added COPYING information and other minutiae). + + * unification-package.lisp: Exported a few more symbols. + + * templates-hierarchy.lisp: + Minor changes (added COPYING information and other minutiae). + + * substitutions.lisp: + Changed some environment functions and improved the DUMP-* ones. + + * match-block.lisp, lambda-list-parsing.lisp, cl-unification.system, cl-unification.asd, cl-unification-lib.asd, apply-substitution.lisp: + Minor changes (added COPYING information and other minutiae). + + * ACKNOWLEDGEMENTS: Acknowledgements updated. + +2011-02-24 author <author(a)paniscia.local> + + * ChangeLog, apply-substitution.lisp, cl-unification.system, lambda-list-parsing.lisp, lib-dependent/cl-ppcre-template.lisp, match-block.lisp, templates-hierarchy.lisp, unifier.lisp: + Delete trailing whitespace. In lambda-list-parsing.lisp this fixes a bug + with ~@<newline> format directives. + + * ChangeLog, test/unification-tests.lisp, unifier.lisp: + unifier.lisp: Allow vectors to unify with sequence templates. + test/unification-tests.lisp: new test to verify the change + 2011-02-24 Robert Brown <robert.brown(a)gmail.com> * lambda-list-parsing.lisp: Delete trailing whitespace that turned

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv19065 Modified Files: .cvsignore Log Message: Updated. --- /project/cl-unification/cvsroot/cl-unification/.cvsignore 2011/02/26 09:25:42 1.2 +++ /project/cl-unification/cvsroot/cl-unification/.cvsignore 2011/02/27 19:50:15 1.3 @@ -1,4 +1,5 @@ *.*fasl *.*fsl +*~ .DS_Store THUM*.DBE

1 0

[cl-unification-cvs] CVS cl-unification/docs/html/images
by mantoniotti 27 Feb '11

27 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification/docs/html/images In directory cl-net:/tmp/cvs-serv8314 Removed Files: Thumbs.db Thumbs.db:encryptable Log Message: Removed Files: Thumbs.db Thumbs.db:encryptable

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 26 Feb '11

26 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv2869 Modified Files: .cvsignore Log Message: Udpaded. --- /project/cl-unification/cvsroot/cl-unification/.cvsignore 2011/01/18 14:46:42 1.1 +++ /project/cl-unification/cvsroot/cl-unification/.cvsignore 2011/02/26 09:25:42 1.2 @@ -1,2 +1,4 @@ *.*fasl *.*fsl +.DS_Store +THUM*.DBE

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 26 Feb '11

26 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv2792 Modified Files: variables.lisp Log Message: Minor changes (added COPYING information and other minutiae). --- /project/cl-unification/cvsroot/cl-unification/variables.lisp 2009/04/15 10:12:22 1.3 +++ /project/cl-unification/cvsroot/cl-unification/variables.lisp 2011/02/26 09:22:56 1.4 @@ -1,10 +1,19 @@ -;;; -*- Mode: Lisp -*- +;;;; -*- Mode: Lisp -*- + +;;;; variables.lisp -- + +;;;; See file COPYING for copyright licensing information. (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. -(defun make-var-name (&optional (s (gensym "UNIFVAR-")) (package *package*)) - (intern (concatenate 'string "?" (symbol-name s)) package)) +(defun make-var-name (&optional (s (gensym "UV_")) (package *package*)) + (declare (type (or string symbol character) s)) + (intern (concatenate 'string "?" (string s)) package)) + + +(eval-when (:load-toplevel :execute) + (setf (fdefinition 'new-var) #'make-var-name)) (defun variablep (x)

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 26 Feb '11

26 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv2765 Modified Files: unifier.lisp Log Message: Minor changes (added COPYING information and other minutiae). --- /project/cl-unification/cvsroot/cl-unification/unifier.lisp 2011/02/24 20:44:12 1.11 +++ /project/cl-unification/cvsroot/cl-unification/unifier.lisp 2011/02/26 09:22:33 1.12 @@ -3,6 +3,8 @@ ;;; unifier.lisp ;;; General CL structures unifier. +;;;; See file COPYING for copyright licensing information. + (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. (defgeneric unify (a b &optional env &key &allow-other-keys)

1 0

[cl-unification-cvs] CVS cl-unification
by mantoniotti 26 Feb '11

26 Feb '11

Update of /project/cl-unification/cvsroot/cl-unification In directory cl-net:/tmp/cvs-serv2727 Modified Files: unification-package.lisp Log Message: Exported a few more symbols. --- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2011/02/11 17:49:38 1.8 +++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp 2011/02/26 09:22:10 1.9 @@ -3,8 +3,8 @@ ;;;; unification-package.lisp -- ;;;; Package definition for the CL-UNIFICATION library. ;;;; -;;;; Copyright (c) 2004-2009 Marco Antoniotti -;;;; See file COPYING for licensing information. +;;;; Copyright (c) 2004-2011 Marco Antoniotti +;;;; See file COPYING for copyright licensing information. (defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL") @@ -16,17 +16,9 @@ The package also has the \"UNIFY\" nickname.") (:export - "MAKE-TEMPLATE" - "TEMPLATEP" - "TEMPLATE-SPEC") - - (:export "*UNIFY-STRING-CASE-SENSITIVE-P*" "UNIFY" - "FIND-VARIABLE-VALUE" - "V?" - "MAKE-EMPTY-ENVIRONMENT" "APPLY-SUBSTITUTION" "UNIFICATION-FAILURE" @@ -35,7 +27,29 @@ (:export "ENVIRONMENT" - "ENVIRONMENT-P") + "ENVIRONMENT-P" + "MAKE-EMPTY-ENVIRONMENT" + "EMPTY-ENVIRONMENT-P" + "MAKE-SHARED-ENVIRONMENT" + "COPY-ENVIRONMENT" + + "PUSH-FRAME" + "POP-FRAME" + + "BINDING-VARIABLE" + "BINDING-VALUE" + + "EXTEND-ENVIRONMENT" + "FILL-ENVIRONMENT" + "FILL-ENVIRONMENT*" + + "FIND-VARIABLE-VALUE" + "V?" + + "NEW-VAR" + "VARIABLEP" + "VARIABLE-ANY-P" + ) (:export "MATCH" @@ -50,6 +64,14 @@ "UNIFY-EQUATIONS" "UNIFY-EQUATIONS*") + (:export + "MAKE-TEMPLATE" + "TEMPLATEP" + "TEMPLATE-SPEC" + + "COLLECT-TEMPLATE-VARS" + ) + #+cl-ppcre (:export "REGULAR-EXPRESSION"

1 0

← Newer
1
2
3
4
5
6
7
...
16
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

cl-unification-cvs