repos
/
cl-unification
/ annotate_shade
summary
|
shortlog
|
log
|
tree
|
commit
|
commitdiff
|
headdiff
|
annotate
|
headblob
|
headfilediff
|
filehistory
normal
|
plain
|
shade
|
zebra
Minor changes (added COPYING information and other minutiae).
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")
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
2011-04-02 mantoniotti
18
(:export
04:05:30 '
19
"ENABLE-TEMPLATE-READER"
'
20
"MAKE-TEMPLATE"
'
21
"TEMPLATEP"
'
22
"TEMPLATE-SPEC")
'
23
2004-11-17 mantoniotti
24
(:export
2011-04-02 rbrown
25
"*UNIFY-STRING-CASE-INSENSITIVE-P*"
2004-11-17 mantoniotti
26
"UNIFY"
2011-04-02 mantoniotti
27
"FIND-VARIABLE-VALUE"
04:05:30 '
28
"V?"
2008-07-13 mantoniotti
29
2011-04-02 mantoniotti
30
"MAKE-EMPTY-ENVIRONMENT"
2008-07-13 mantoniotti
31
"APPLY-SUBSTITUTION"
13:10:48 '
32
'
33
"UNIFICATION-FAILURE"
'
34
"UNIFICATION-VARIABLE-UNBOUND"
'
35
)
'
36
'
37
(:export
'
38
"ENVIRONMENT"
2011-04-02 mantoniotti
39
"ENVIRONMENT-P")
2008-07-13 mantoniotti
40
2004-11-17 mantoniotti
41
(:export
22:19:54 '
42
"MATCH"
2009-04-15 mantoniotti
43
"MATCHF"
2010-02-05 pix
44
"MATCH-COND"
08:58:50 '
45
"MATCHF-COND"
2006-07-19 mantoniotti
46
"MATCHING"
2009-12-17 mantoniotti
47
"MATCH-CASE"
2010-02-05 pix
48
"MATCH-ECASE"
2009-12-17 mantoniotti
49
"MATCHF-CASE"
2010-02-05 pix
50
"MATCHF-ECASE"
2009-12-17 mantoniotti
51
)
2009-04-15 mantoniotti
52
10:10:25 '
53
(:export
'
54
"UNIFY*"
'
55
"UNIFY-EQUATIONS"
'
56
"UNIFY-EQUATIONS*")
2009-04-17 mantoniotti
57
07:53:58 '
58
#+cl-ppcre
'
59
(:export
'
60
"REGULAR-EXPRESSION"
'
61
"REGEXP")
2010-02-05 pix
62
09:04:00 '
63
#+named-readtables
'
64
(:export
'
65
"TEMPLATE-READTABLE")
2009-04-15 mantoniotti
66
)
2004-11-17 mantoniotti
67
2009-04-17 mantoniotti
68
;;;; end of file -- unification-package.lisp --