cl-unification-devel April 2009

cl-unification-devel@common-lisp.net

2 participants
7 discussions

[cl-unification-devel] Patches to system files and fixes to APPLY-SUBSTITUTION in.
by Marco Antoniotti 17 Apr '09

17 Apr '09

Hi I think I was able to make CL-UNIFICATION dependency on CL-PPCRE optional. It looks better in MK:DEFSYSTEM, but it works also with ASDF, at the price of loading the 'lib dependent' .asd file after the main one. In other words, you have to do (asdf:oos 'asdf:load-op :cl-unification) (asdf:oos 'asdf:load-op :cl-unification-lib) APPLY-SUBSTITUTION now almost works. (At least in Matthew's example). Cheers -- Marco Antoniotti

1 0

Re: [cl-unification-devel] making cl-ppcre extension portable
by Marco Antoniotti 17 Apr '09

17 Apr '09

Hi yes. That is the easy way out :) I was working on a more modular solution which would not introduce a required dependency on CL-PPCRE. If anybody on the list knows how to do it in an easy way, please let me know. Cheers -- Marco On Apr 17, 2009, at 17:05 , Slobodan Blazeski wrote: > I've just downloaded new tarball and everything is the same. > > In order to load without a problem you need two changes: > > cl-unification.asd > > (asdf:defsystem cl-unification > :author "Marco Antoniotti" > :serial t > :depends-on (:cl-ppcre) ; THIS LINE IS ADDED > :components ((:file "unification-package") > (:file "variables") > (:file "substitutions") > (:file "lambda-list-parsing") > (:file "templates-hierarchy") > (:file "unifier") > (:file "match-block") > (:file "apply-substitution") > (:module "lib-dependent" > :depends-on ("templates-hierarchy" "unifier") > :components ( > #+cl-ppcre > (:file "cl-ppcre-template") > )))) > > File cl-ppcre-template.lisp > > (in-package "CL.EXT.DACF.UNIFICATION") ; DACF = Data And Control Flow. > ;;; Below line is making problem under my configuration > ;(require "CL-PPCRE") > > Now everything works fine: > > On Thu, Apr 16, 2009 at 7:31 PM, Marco Antoniotti > <marcoxa(a)cs.nyu.edu> wrote: > Hi > > yes. I figured out what is happening. > > The new version should work out fine. Although I do not use ASDF > regularly. > I've heard that many lispers are switching to cl-build but I'm > still asdf user. LW system is good but unportable. > cheers > bobi > > > Marco > > > > On Apr 16, 2009, at 18:32 , Slobodan Blazeski wrote: > > CL-USER 1 > (asdf :cl-unification) > ; loading system definition from > ; C:\Documents and Settings\slobodan\My Documents\Lisp Libraries\cl- > unification\cl-unification.asd > ; into #<The ASDF0 package, 0/16 internal, 0/16 external> > ; Loading text file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\cl-unification.asd > ; registering #<SYSTEM CL-UNIFICATION 218DCECB> as CL-UNIFICATION > ;; Creating system COMMON-LISP-USER::CL-UNIFICATION->LIB-DEPENDENT > ;; Creating system COMMON-LISP-USER::CL-UNIFICATION > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\unification-package.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (DEFPACKAGE "CL.EXT.DACF.UNIFICATION") > ; (TOP-LEVEL-FORM 2) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\unification-package.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\variables.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; CL.EXT.DACF.UNIFICATION::MAKE-VAR-NAME > ; CL.EXT.DACF.UNIFICATION::VARIABLEP > ; CL.EXT.DACF.UNIFICATION::VARIABLE-ANY-P > ; (TOP-LEVEL-FORM 3) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\variables.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\substitutions.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; (DEFTYPE CL.EXT.DACF.UNIFICATION::BINDING) > ; (DEFTYPE CL.EXT.DACF.UNIFICATION::BINDINGS) > ; CL.EXT.DACF.UNIFICATION::MAKE-BINDING > ; CL.EXT.DACF.UNIFICATION::EXTEND-BINDINGS > ; CL.EXT.DACF.UNIFICATION::BINDING-VARIABLE > ; (SETF CL.EXT.DACF.UNIFICATION::BINDING-VARIABLE) > ; CL.EXT.DACF.UNIFICATION::BINDING-VALUE > ; (SETF CL.EXT.DACF.UNIFICATION::BINDING-VALUE) > ; CL.EXT.DACF.UNIFICATION::BINDINGS-VALUES > ; CL.EXT.DACF.UNIFICATION::BINDINGS-KEYS > ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION:UNIFICATION- > VARIABLE-UNBOUND) (DEFINE-CONDITION > CL.EXT.DACF.UNIFICATION:UNIFICATION-VARIABLE-UNBOUND)) > ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION:UNIFICATION-VARIABLE- > UNBOUND) > ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION:UNIFICATION- > FAILURE) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION:UNIFICATION- > FAILURE)) > ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION:UNIFICATION-FAILURE) > ; (SUBFUNCTION (DEFSETF CL.EXT.DACF.UNIFICATION::FRAME-BINDINGS) > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::FRAME)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-FRAME (DEFSTRUCT > CL.EXT.DACF.UNIFICATION::FRAME)) > ; CL.EXT.DACF.UNIFICATION::EMPTY-FRAME-P > ; CL.EXT.DACF.UNIFICATION::FIND-VARIABLE-BINDING-IN-FRAME > ; CL.EXT.DACF.UNIFICATION::FIND-VARIABLE-VALUE-IN-FRAME > ; CL.EXT.DACF.UNIFICATION::FRAME-VARIABLES > ; CL.EXT.DACF.UNIFICATION::FRAME-VALUES > ; (SUBFUNCTION (DEFSETF CL.EXT.DACF.UNIFICATION::ENVIRONMENT-FRAMES) > (DEFSTRUCT CL.EXT.DACF.UNIFICATION:ENVIRONMENT)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-ENVIRONMENT (DEFSTRUCT > CL.EXT.DACF.UNIFICATION:ENVIRONMENT)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-ENVIRONMENT (DEFSTRUCT > CL.EXT.DACF.UNIFICATION:ENVIRONMENT)) > ; CL.EXT.DACF.UNIFICATION::PRINT-ENVIRONMENT > ; (DEFTYPE CL.EXT.DACF.UNIFICATION::SUBSTITUTION) > ; CL.EXT.DACF.UNIFICATION::SUBSTITUTION-P > ; CL.EXT.DACF.UNIFICATION::FIRST-FRAME > ; CL.EXT.DACF.UNIFICATION:MAKE-EMPTY-ENVIRONMENT > ; CL.EXT.DACF.UNIFICATION::COPY-ENVIRONMENT > ; CL.EXT.DACF.UNIFICATION::MAKE-SHARED-ENVIRONMENT > ; CL.EXT.DACF.UNIFICATION::EMPTY-ENVIRONMENT-P > ; (DEFPARAMETER CL.EXT.DACF.UNIFICATION::*NULL-ENVIRONMENT*) > ; CL.EXT.DACF.UNIFICATION:FIND-VARIABLE-VALUE > ; CL.EXT.DACF.UNIFICATION::EXTEND-ENVIRONMENT > ; CL.EXT.DACF.UNIFICATION::FILL-ENVIRONMENT > ; CL.EXT.DACF.UNIFICATION::FILL-ENVIRONMENT* > ; (TOP-LEVEL-FORM 3) > ; (TOP-LEVEL-FORM 4) > ; CL.EXT.DACF.UNIFICATION:V? > ; CL.EXT.DACF.UNIFICATION:V? > ; CL.EXT.DACF.UNIFICATION::ENVIRONMENT-VARIABLES > ; CL.EXT.DACF.UNIFICATION::ENVIRONMENT-VALUES > ; (TOP-LEVEL-FORM 5) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\substitutions.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\lambda-list-parsing.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; (TOP-LEVEL-FORM 3) > ; CL.EXT.DACF.UNIFICATION::TYPE-IS-T-P > ; CL.EXT.DACF.UNIFICATION::TYPE-IS-T-P > ; (TOP-LEVEL-FORM 4) > ; CL.EXT.DACF.UNIFICATION::TYPE-SPECIFIER-P > ; CL.EXT.DACF.UNIFICATION::TYPE-SPECIFIER-P > ; CL.EXT.DACF.UNIFICATION::NORMALIZE-LAMBDA-LIST > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-LAMBDA-VAR-INFO > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-LAMBDA-VAR-INFO > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-OPTIONAL-LAMBDA-VAR- > INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::OPTIONAL-LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-OPTIONAL-LAMBDA-VAR- > INFO (DEFSTRUCT CL.EXT.DACF.UNIFICATION::OPTIONAL-LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-AUX-LAMBDA-VAR-INFO > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::AUX-LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-AUX-LAMBDA-VAR-INFO > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::AUX-LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-KEY-LAMBDA-VAR-INFO > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::KEY-LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-KEY-LAMBDA-VAR-INFO > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::KEY-LAMBDA-VAR-INFO)) > ; (SUBFUNCTION CL.EXT.DACF.UNIFICATION::MAKE-REST-LAMBDA-VAR-INFO > (DEFSTRUCT CL.EXT.DACF.UNIFICATION::REST-LAMBDA-VAR-INFO)) > ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION::LAMBDA-LIST- > PARSING-ERROR) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::LAMBDA- > LIST-PARSING-ERROR)) > ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::LAMBDA-LIST-PARSING- > ERROR) > ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::LAMBDA-LIST-PARSING- > ERROR) > ; CL.EXT.DACF.UNIFICATION::SYMBOL-OR-CONS-P > ; CL.EXT.DACF.UNIFICATION::PARSE-EXTENDED-ORDINARY-LAMBDA-LIST > ; CL.EXT.DACF.UNIFICATION::PARSE-VAR-TYPE-INFO > ; CL.EXT.DACF.UNIFICATION::PARSE-OPTIONAL-VAR-TYPE-INFO > ; CL.EXT.DACF.UNIFICATION::PARSE-AUXILIARY-VAR-TYPE-INFO > ; CL.EXT.DACF.UNIFICATION::PARSE-REST-VAR-TYPE-INFO > ; CL.EXT.DACF.UNIFICATION::PARSE-KEY-VAR-TYPE-INFO > ; (TOP-LEVEL-FORM 5) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\lambda-list-parsing.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\templates-hierarchy.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION::UNIFICATION- > TEMPLATE-ERROR) (DEFINE-CONDITION > CL.EXT.DACF.UNIFICATION::UNIFICATION-TEMPLATE-ERROR)) > ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::UNIFICATION-TEMPLATE- > ERROR) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::TYPE-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::TYPE-TEMPLATE-P) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::TYPE-TEMPLATE-TYPE-SPEC) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::EXPRESSION-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::EXPRESSION-TEMPLATE-P) > ; (METHOD PRINT-OBJECT (CL.EXT.DACF.UNIFICATION::TEMPLATE STREAM)) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::LIST-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::LIST-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::LAMBDA-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::LAMBDA-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::STRING-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::STRING-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::ELEMENT-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::ELEMENT-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE-P) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::NTHCDR-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::NTHCDR-TEMPLATE-P) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE) > ; CL.EXT.DACF.UNIFICATION::|sharp-T-reader| > ; (METHOD MAKE-LOAD-FORM (CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (TOP-LEVEL-FORM 3) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (NULL SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (SYMBOL SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > SYMBOL)) CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (SYMBOL CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (CONS CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE (NUMBER NUMBER)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > SEQUENCE)) CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE LIST)) > CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > LAMBDA)) CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > VECTOR)) CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > STRING)) CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE ARRAY)) > CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > SUBSEQ)) CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE ELT)) > CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE AREF)) > CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE NTH)) > CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > NTHCDR)) CONS)) > ; CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE-SYMBOL > ; CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE-NUMBER > ; CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE-LAMBDA-LIST > ; CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE-ELEMENT-TYPE > ; CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE-SIZE > ; CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-SHAPE-TEMPLATE > ; CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-ELEMENT-TYPE > ; CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE-DIMENSIONS > ; CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE-SLOTS > ; CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE-SLOTS > ; CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE-INDEXES > ; CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE-ELEMENT > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS > (CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS > (CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS > (CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (NULL)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (STRING)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (VECTOR)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (ARRAY)) > ; (METHOD CL.EXT.DACF.UNIFICATION::COLLECT-TEMPLATE-VARS (T)) > ; (TOP-LEVEL-FORM 4) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\templates-hierarchy.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\unifier.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION:UNIFY) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL LIST)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST LIST)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NUMBER NUMBER)) > ; (DEFPARAMETER CL.EXT.DACF.UNIFICATION::*UNIFY-STRING-CASE- > SENSITIVE-P*) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (CHARACTER CHARACTER)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRING STRING)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL STRING)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRING SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL T)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (T SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL ARRAY)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR VECTOR)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE SEQUENCE)) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY) > ; (METHOD CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY (LIST VECTOR)) > ; (METHOD CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY (VECTOR LIST)) > ; (METHOD CL.EXT.DACF.UNIFICATION::UNTYPED-UNIFY (T T)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY ARRAY)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (T T)) > ; CL.EXT.DACF.UNIFICATION::VALID-TEMPLATE-P > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NULL NULL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NULL > CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE NULL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::NIL-TEMPLATE CL.EXT.DACF.UNIFICATION::NIL- > TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL > CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::SYMBOL-TEMPLATE SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SYMBOL > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NUMBER > CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::NUMBER-TEMPLATE NUMBER)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (NUMBER > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE NUMBER)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE SEQUENCE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST > CL.EXT.DACF.UNIFICATION::SEQUENCE-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE LIST)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR > CL.EXT.DACF.UNIFICATION::VECTOR-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE VECTOR)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE ARRAY)) > ; CL.EXT.DACF.UNIFICATION::UNIFY-ARRAY-ROW > ; CL.EXT.DACF.UNIFICATION::UNIFY-ARRAY-ROWS > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY > CL.EXT.DACF.UNIFICATION::ARRAY-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STANDARD-OBJECT > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STANDARD-OBJECT > CL.EXT.DACF.UNIFICATION::STANDARD-OBJECT-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE STANDARD-OBJECT)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRUCTURE-OBJECT > CL.EXT.DACF.UNIFICATION::TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRUCTURE-OBJECT > CL.EXT.DACF.UNIFICATION::STRUCTURE-OBJECT-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::TEMPLATE STRUCTURE-OBJECT)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE > CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST > CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR > CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::SUBSEQ-TEMPLATE SEQUENCE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (ARRAY > CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR > CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::AREF-TEMPLATE ARRAY)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (SEQUENCE > CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (VECTOR > CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST > CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::ELT-TEMPLATE SEQUENCE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (LIST > CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::NTH-TEMPLATE LIST)) > ; CL.EXT.DACF.UNIFICATION:UNIFY* > ; CL.EXT.DACF.UNIFICATION:UNIFY-EQUATIONS > ; CL.EXT.DACF.UNIFICATION:UNIFY-EQUATIONS* > ; (DEFPARAMETER CL.EXT.DACF.UNIFICATION::*OCCURRENCE-CHECK-P*) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::OCCURS-IN-P) > ; CL.EXT.DACF.UNIFICATION::VAR-UNIFY > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL SYMBOL T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL LIST T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL NULL T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL ARRAY T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL VECTOR T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL STRING T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL NUMBER T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL CHARACTER T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (SYMBOL T T)) > ; (METHOD CL.EXT.DACF.UNIFICATION::OCCURS-IN-P (T T T)) > ; (TOP-LEVEL-FORM 3) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\unifier.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\match-block.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; CL.EXT.DACF.UNIFICATION::CLEAN-UNIFY-VAR-NAME > ; CL.EXT.DACF.UNIFICATION:MATCH > ; CL.EXT.DACF.UNIFICATION:MATCHF > ; (SUBFUNCTION (DEFCLASS CL.EXT.DACF.UNIFICATION::UNIFICATION-NON- > EXHAUSTIVE) (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::UNIFICATION- > NON-EXHAUSTIVE)) > ; (DEFINE-CONDITION CL.EXT.DACF.UNIFICATION::UNIFICATION-NON- > EXHAUSTIVE) > ; CL.EXT.DACF.UNIFICATION:MATCHING > ; CL.EXT.DACF.UNIFICATION:MATCH-CASE > ; (TOP-LEVEL-FORM 3) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\match-block.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\apply-substitution.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION) > ; (METHOD CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION > (CL.EXT.DACF.UNIFICATION:ENVIRONMENT SYMBOL)) > ; (METHOD CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION > (CL.EXT.DACF.UNIFICATION:ENVIRONMENT CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:APPLY-SUBSTITUTION > (CL.EXT.DACF.UNIFICATION:ENVIRONMENT NULL)) > ; CL.EXT.DACF.UNIFICATION::COMPOSE-SUBSTITUTIONS > ; CL.EXT.DACF.UNIFICATION::GROUND-TERM > ; (TOP-LEVEL-FORM 3) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\apply-substitution.ofasl > ;;; Compiling file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\lib-dependent\cl-ppcre- > template.lisp ... > ;;; Safety = 3, Speed = 1, Space = 1, Float = 1, Interruptible = 0 > ;;; Compilation speed = 1, Debug = 2, Fixnum safety = 3 > ;;; Source level debugging is on > ;;; Source file recording is on > ;;; Cross referencing is on > ; (TOP-LEVEL-FORM 1) > ; (TOP-LEVEL-FORM 2) > ; (TOP-LEVEL-FORM 3) > ; (DEFCLASS CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE) > ; (DEFGENERIC CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE-P) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > CL.EXT.DACF.UNIFICATION::REGEXP)) CONS)) > ; (METHOD CL.EXT.DACF.UNIFICATION:MAKE-TEMPLATE ((EQL (QUOTE > CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION)) CONS)) > ; (METHOD INITIALIZE-INSTANCE :AFTER > (CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE > CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY > (CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE STRING)) > ; (METHOD CL.EXT.DACF.UNIFICATION:UNIFY (STRING > CL.EXT.DACF.UNIFICATION::REGULAR-EXPRESSION-TEMPLATE)) > ; (TOP-LEVEL-FORM 4) > ; Loading fasl file C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\lib-dependent\cl-ppcre-template.ofasl > > Error: Unknown module "CL-PPCRE". > 1 (continue) Try loading C:\Documents and Settings\slobodan\My > Documents\Lisp Libraries\cl-unification\lib-dependent\cl-ppcre- > template.ofasl again. > 2 Give up loading C:\Documents and Settings\slobodan\My Documents > \Lisp Libraries\cl-unification\lib-dependent\cl-ppcre-template.ofasl. > 3 Try loading another file instead of C:\Documents and Settings > \slobodan\My Documents\Lisp Libraries\cl-unification\lib-dependent > \cl-ppcre-template.ofasl. > 4 Recompile cl-ppcre-template and try loading it again > 5 Retry performing #<ASDF:LOAD-OP NIL 216A8F1F> on > #<ASDF:CL-SOURCE-FILE "cl-ppcre-template" 2168B087>. > 6 Continue, treating #<ASDF:LOAD-OP NIL 216A8F1F> on > #<ASDF:CL-SOURCE-FILE "cl-ppcre-template" 2168B087> as having been > successful. > 7 (abort) Return to level 0. > 8 Return to top loop level 0. > > Type :b for backtrace, :c <option number> to proceed, or :? for > other options > > > On Thu, Apr 16, 2009 at 3:38 PM, Marco Antoniotti > <marcoxa(a)cs.nyu.edu> wrote: > > On Apr 16, 2009, at 12:53 , Slobodan Blazeski wrote: > > No I'm doing standard (asdf :cl-unification) with lispworks, I have > edi starter pack installed. > > Then it should work... I have LW as well. > > What error do you get exactly? > > Marco > > > > > > > > Thanks for teh info I will download new version tommorrow. > > cheers > > bobi > > > On Thu, Apr 16, 2009 at 9:47 AM, Marco Antoniotti > <marcoxa(a)cs.nyu.edu> wrote: > This is strange. Are you trying to load it separatedly? > > In any case, I will apply Matthew's patch asap. (wait until > tonight...) > > Cheers > -- > Marco > > > > > On Apr 16, 2009, at 09:22 , Slobodan Blazeski wrote: > > > cl-unification fails to load on lispworks windows, it fails in cl- > ppcre-template.lisp line (require "CL-PPCRE") > > if you add cl-ppcre as dependency on the .asd file everything works > fine. > > cheers > > bobi > > > > On Thu, Apr 16, 2009 at 8:33 AM, Marco Antoniotti > <marcoxa(a)cs.nyu.edu> wrote: > Thanks for the patches.... > > Yes. Splitting the system file is a better idea. I'll do that. > > (I got the asd file. But not here... looks like clnet has MIMEdefang > setu up to be too eager) > > Marco > > > > On Apr 16, 2009, at 04:30 , Matthew D. Swank wrote: > > > WARNING: This e-mail has been altered by MIMEDefang. Following this > > paragraph are indications of the actual changes made. For more > > information about your site's MIMEDefang policy, contact > > CIMS Helpdesk <helpdesk(a)courant.nyu.edu>. For more information > > about MIMEDefang, see: > > > > http://www.roaringpenguin.com/mimedefang/enduser.php3 > > > > An attachment named cl-unification-lib.asd was removed from this > > document as it > > constituted a security hazard. If you require this document, please > > contact > > the sender and arrange an alternate means of receiving it. > > > > Could something like to this be merged to make the new addition more > > portable? > > > > Cheers, > > > > Matt > > > > -- > > "You do not really understand something unless you can explain it to > > your grandmother." -- Albert Einstein. > > <cl-u.patch>_______________________________________________ > > cl-unification-devel site list > > cl-unification-devel(a)common-lisp.net > > http://common-lisp.net/mailman/listinfo/cl-unification-devel > > -- > Marco Antoniotti > > > > _______________________________________________ > cl-unification-devel site list > cl-unification-devel(a)common-lisp.net > http://common-lisp.net/mailman/listinfo/cl-unification-devel > > > -- > Marco Antoniotti > > > > > -- > Marco Antoniotti > > > > > -- > Marco Antoniotti > > > -- Marco Antoniotti

1 0

Re: [cl-unification-devel] making cl-ppcre extension portable
by Marco Antoniotti 16 Apr '09

16 Apr '09

This is strange. Are you trying to load it separatedly? In any case, I will apply Matthew's patch asap. (wait until tonight...) Cheers -- Marco On Apr 16, 2009, at 09:22 , Slobodan Blazeski wrote: > > cl-unification fails to load on lispworks windows, it fails in cl- > ppcre-template.lisp line (require "CL-PPCRE") > > if you add cl-ppcre as dependency on the .asd file everything works > fine. > > cheers > > bobi > > > > On Thu, Apr 16, 2009 at 8:33 AM, Marco Antoniotti > <marcoxa(a)cs.nyu.edu> wrote: > Thanks for the patches.... > > Yes. Splitting the system file is a better idea. I'll do that. > > (I got the asd file. But not here... looks like clnet has MIMEdefang > setu up to be too eager) > > Marco > > > > On Apr 16, 2009, at 04:30 , Matthew D. Swank wrote: > > > WARNING: This e-mail has been altered by MIMEDefang. Following this > > paragraph are indications of the actual changes made. For more > > information about your site's MIMEDefang policy, contact > > CIMS Helpdesk <helpdesk(a)courant.nyu.edu>. For more information > > about MIMEDefang, see: > > > > http://www.roaringpenguin.com/mimedefang/enduser.php3 > > > > An attachment named cl-unification-lib.asd was removed from this > > document as it > > constituted a security hazard. If you require this document, please > > contact > > the sender and arrange an alternate means of receiving it. > > > > Could something like to this be merged to make the new addition more > > portable? > > > > Cheers, > > > > Matt > > > > -- > > "You do not really understand something unless you can explain it to > > your grandmother." -- Albert Einstein. > > <cl-u.patch>_______________________________________________ > > cl-unification-devel site list > > cl-unification-devel(a)common-lisp.net > > http://common-lisp.net/mailman/listinfo/cl-unification-devel > > -- > Marco Antoniotti > > > > _______________________________________________ > cl-unification-devel site list > cl-unification-devel(a)common-lisp.net > http://common-lisp.net/mailman/listinfo/cl-unification-devel > -- Marco Antoniotti

1 0

[cl-unification-devel] newbie; questions on comutivity.
by Matthew D. Swank 16 Apr '09

16 Apr '09

As someone exposed to unification through languages like prolog and kanren, I'm a little puzzled as to why the following doesn't seem to commute: CL-USER> (let ((e (unify '(42 ?a) '(?a ?b)))) (values (v? '?b e) (v? '?a e))) 42 42 CL-USER> (let ((e (unify '(?a ?b) '(42 ?a)))) (values (v? '?b e) (v? '?a e))) ?A 42 CL-USER> If this is correct behavior, could someone explain it to me? Thank you, Matt -- "You do not really understand something unless you can explain it to your grandmother." -- Albert Einstein.

2 1

[cl-unification-devel] making cl-ppcre extension portable
by Matthew D. Swank 16 Apr '09

16 Apr '09

Could something like to this be merged to make the new addition more portable? Cheers, Matt -- "You do not really understand something unless you can explain it to your grandmother." -- Albert Einstein.

2 1

[cl-unification-devel] ELS 2009 in Milan, Italy: Call for Participation
by Marco Antoniotti 15 Apr '09

15 Apr '09

Apologies for multiple postings.... ************************************************************************ 2nd European Lisp Symposium (ELS 2009) Milan, Italy, May 27-29, 2009 Universita` degli Studi di Milano-Bicocca www.european-lisp-symposium.org ************************************************************************ CALL FOR PARTECIPATION ********************** REGISTRATION IS NOW OPEN AT www.european-lisp-symposium.org. Take advantage of the early bird registration fee. Scope and Program Highlights: ***************************** The purpose of the European Lisp Symposium is to provide a forum for the discussion of all aspects of the design, implementation and application of any of the Lisp dialects. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2009 program includes presentations of high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives, all involving Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, and so on. Kent Pitman will give the keynote address on Thursday, May 28. The presentations will be divided into two categories. * Original contributions. * Work in progress describing ongoing work that will be discussed in the form of a "writers' workshop". The writers' workshops will take place at the symposium in Milan on May 28, 2008. Social Events: ************** Friday 29th evening, Conference Banquet Saturday 30th morning, Guided tour to the "Futurismo" Exhibit in the center of Milan; 2009 marks the 100th anniversary of the Futurism Manifesto; stretching it, the harbinger of Lisp 50 years later. Program Chair: ************** * Antonio Leitao, Technical University of Lisbon, Portugal Local Chair: ************ * Marco Antoniotti, DISCo, Universita`† Milano Bicocca, Italy Program committee: ****************** * Giuseppe Attardi, Universita`† di Pisa , Italy * Pascal Costanza, Vrije Universiteit Brussel, Belgium * Irene Durand, Universite` Bordeaux 1, France * Marc Feeley, Universit` de Montreal, Canada * Ron Garret, Amalgamated Widgets Unlimited, USA * Gregor Kiczales, University of British Columbia, Canada * Scott McKay, ITA Software, Inc., USA * Peter Norvig, Google Inc., USA * Julian Padget, University of Bath, UK * Kent Pitman, PTC, USA * Christian Queinnec, Universite` Pierre et Marie Curie, France * Christophe Rhodes, Goldsmiths College, University of London, UK * Robert Strandh, Universite` Bordeaux 1, France * Mark Tarver, Lambda Associates, UK * Didier Verna, EPITA Research and Development Laboratory, France * JonL White, TheGingerIceCreamFactory of Palo Alto, USA * Taiichi Yuasa, Kyoto University, Japan Registration Fees: ****************** * Early registration before April 25, 2008: Students EU60, regular EU120. * Late registration before May 16, 2008: Students EU80, regular EU160. * Onsite registration: Students EU100, regular EU220. Registration will include the proceedings, coffee breaks, the symposium dinner and other amenities. Accommodation is not included.

1 0

[cl-unification-devel] New functionality added
by Marco Antoniotti 15 Apr '09

15 Apr '09

Dear CL-UNIFICATION aficionados, I just added a few bells and whistles to the library (and hopefully fixed a few bugs). The documentation has not been updated yet, but the mosto visible change is not the presence of a CL-PPCRE template. I.e., doing (unify #T(regexp "a(bce)d*" (?x)) "abceddddddd") will return an environment with ?X bound to "bce" Comments and bug checks are most welcome. Please also have a look at the test suite. As always, I am looking for helpers in developing this library. Cheers -- Marco Antoniotti

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

cl-unification-devel April 2009