repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
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 --