Added "CL-UNIFICATION" as package nickname to match the .asd and .system specs.
Annotate for file unification-package.lisp
2009-04-17 mantoniotti 1 ;;;; -*- Mode: Lisp -*-
2004-11-17 mantoniotti 2
2009-04-17 mantoniotti 3 ;;;; unification-package.lisp --
07:53:58 ' 4 ;;;; Package definition for the CL-UNIFICATION library.
' 5 ;;;;
2011-04-02 mantoniotti 6 ;;;; Copyright (c) 2004-2011 Marco Antoniotti
04:05:18 ' 7 ;;;; See file COPYING for copyright licensing information.
2009-04-17 mantoniotti 8
07:53:58 ' 9
' 10 (defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")
2011-06-16 mantoniotti 11 (:nicknames "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify" "CL-UNIFICATION")
2004-11-17 mantoniotti 12 (:documentation "The CL.EXT.DACF.UNIFICATION Package.
2009-04-15 mantoniotti 13
2004-11-17 mantoniotti 14 This package contains all the definitions necessary for the general
22:19:54 ' 15 Common Lisp unifier to work.
' 16 The package also has the \"UNIFY\" nickname.")
2008-07-13 mantoniotti 17
2004-11-17 mantoniotti 18 (:export
2011-04-02 rbrown 19 "*UNIFY-STRING-CASE-SENSITIVE-P*"
2004-11-17 mantoniotti 20 "UNIFY"
2008-07-13 mantoniotti 21
13:10:48 ' 22 "APPLY-SUBSTITUTION"
' 23
' 24 "UNIFICATION-FAILURE"
' 25 "UNIFICATION-VARIABLE-UNBOUND"
' 26 )
' 27
' 28 (:export
' 29 "ENVIRONMENT"
2011-04-02 mantoniotti 30 "ENVIRONMENT-P"
04:05:30 ' 31 "MAKE-EMPTY-ENVIRONMENT"
' 32 "EMPTY-ENVIRONMENT-P"
' 33 "MAKE-SHARED-ENVIRONMENT"
' 34 "COPY-ENVIRONMENT"
' 35
' 36 "PUSH-FRAME"
' 37 "POP-FRAME"
' 38
' 39 "BINDING-VARIABLE"
' 40 "BINDING-VALUE"
' 41
' 42 "EXTEND-ENVIRONMENT"
' 43 "FILL-ENVIRONMENT"
' 44 "FILL-ENVIRONMENT*"
' 45
' 46 "FIND-VARIABLE-VALUE"
' 47 "V?"
' 48
' 49 "NEW-VAR"
' 50 "VARIABLEP"
' 51 "VARIABLE-ANY-P"
' 52 )
2008-07-13 mantoniotti 53
2004-11-17 mantoniotti 54 (:export
22:19:54 ' 55 "MATCH"
2009-04-15 mantoniotti 56 "MATCHF"
2010-02-05 pix 57 "MATCH-COND"
08:58:50 ' 58 "MATCHF-COND"
2006-07-19 mantoniotti 59 "MATCHING"
2009-12-17 mantoniotti 60 "MATCH-CASE"
2010-02-05 pix 61 "MATCH-ECASE"
2009-12-17 mantoniotti 62 "MATCHF-CASE"
2010-02-05 pix 63 "MATCHF-ECASE"
2009-12-17 mantoniotti 64 )
2009-04-15 mantoniotti 65
10:10:25 ' 66 (:export
' 67 "UNIFY*"
' 68 "UNIFY-EQUATIONS"
' 69 "UNIFY-EQUATIONS*")
2009-04-17 mantoniotti 70
2011-04-02 mantoniotti 71 (:export
04:05:30 ' 72 "ENABLE-TEMPLATE-READER"
' 73 "MAKE-TEMPLATE"
' 74 "TEMPLATEP"
' 75 "TEMPLATE-SPEC"
' 76
' 77 "COLLECT-TEMPLATE-VARS"
' 78 )
' 79
2009-04-17 mantoniotti 80 #+cl-ppcre
07:53:58 ' 81 (:export
' 82 "REGULAR-EXPRESSION"
' 83 "REGEXP")
2010-02-05 pix 84
09:04:00 ' 85 #+named-readtables
' 86 (:export
' 87 "TEMPLATE-READTABLE")
2009-04-15 mantoniotti 88 )
2004-11-17 mantoniotti 89
2009-04-17 mantoniotti 90 ;;;; end of file -- unification-package.lisp --