1 ;;;; -*- Mode: Lisp -*-
 2 
 3 ;;;; unification-package.lisp --
 4 ;;;; Package definition for the CL-UNIFICATION library.
 5 ;;;;
 6 ;;;; Copyright (c) 2004-2011 Marco Antoniotti
 7 ;;;; See file COPYING for copyright licensing information.
 8 
 9 
10 (defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")
11   (:nicknames  "CL.EXT.DACF.UNIFICATION" "UNIFY" "unify" "CL-UNIFICATION")
12   (:documentation "The CL.EXT.DACF.UNIFICATION Package.
13 
14 This package contains all the definitions necessary for the general
15 Common Lisp unifier to work.
16 The package also has the \"UNIFY\" nickname.")
17 
18   (:export
19    "*UNIFY-STRING-CASE-SENSITIVE-P*"
20    "UNIFY"
21 
22    "APPLY-SUBSTITUTION"
23 
24    "UNIFICATION-FAILURE"
25    "UNIFICATION-VARIABLE-UNBOUND"
26    )
27 
28   (:export
29    "ENVIRONMENT"
30    "ENVIRONMENT-P"
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    )
53 
54   (:export
55    "MATCH"
56    "MATCHF"
57    "MATCH-COND"
58    "MATCHF-COND"
59    "MATCHING"
60    "MATCH-CASE"
61    "MATCH-ECASE"
62    "MATCHF-CASE"
63    "MATCHF-ECASE"
64    )
65 
66   (:export
67    "UNIFY*"
68    "UNIFY-EQUATIONS"
69    "UNIFY-EQUATIONS*")
70 
71   (:export
72    "ENABLE-TEMPLATE-READER"
73    "MAKE-TEMPLATE"
74    "TEMPLATEP"
75    "TEMPLATE-SPEC"
76 
77    "COLLECT-TEMPLATE-VARS"
78    )
79 
80   #+cl-ppcre
81   (:export
82    "REGULAR-EXPRESSION"
83    "REGEXP")
84 
85   #+named-readtables
86   (:export
87    "TEMPLATE-READTABLE")
88   )
89 
90 ;;;; end of file -- unification-package.lisp --