The cl-unification Reference Manual

Parent

cl-unification (system)

Location

templates-hierarchy.lisp

Exported Definitions

aref-template (class)
aref-template-p (generic function)
aref-template-p (method)
aref-template-p (method)
array-template (class)
array-template-p (generic function)
array-template-p (method)
array-template-p (method)
collect-template-vars (generic function)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
element-template (class)
element-template-p (generic function)
element-template-p (method)
element-template-p (method)
elt-template (class)
elt-template-p (generic function)
elt-template-p (method)
elt-template-p (method)
expression-template (class)
expression-template-p (generic function)
expression-template-p (method)
expression-template-p (method)
make-template (generic function)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
nil-template (class)
nil-template-p (generic function)
nil-template-p (method)
nil-template-p (method)
nth-template (class)
nth-template-p (generic function)
nth-template-p (method)
nth-template-p (method)
nthcdr-template (class)
nthcdr-template-p (generic function)
nthcdr-template-p (method)
nthcdr-template-p (method)
number-template (class)
number-template-p (generic function)
number-template-p (method)
number-template-p (method)
standard-object-template (class)
standard-object-template-p (generic function)
standard-object-template-p (method)
standard-object-template-p (method)
structure-object-template (class)
structure-object-template-p (generic function)
structure-object-template-p (method)
structure-object-template-p (method)
symbol-template (class)
symbol-template-p (generic function)
symbol-template-p (method)
symbol-template-p (method)
template (class)
template-p (generic function)
template-p (method)
template-p (method)
template-spec (method)
(setf template-spec) (method)
type-template (class)
type-template-p (generic function)
type-template-p (method)
type-template-p (method)

Internal Definitions

*known-number-template-constants* (special variable)
aref-template-element (function)
aref-template-indexes (function)
array-template-dimensions (function)
array-template-element-type (function)
array-template-shape-template (function)
lambda-template (class)
lambda-template-p (generic function)
lambda-template-p (method)
lambda-template-p (method)
list-template (class)
list-template-p (generic function)
list-template-p (method)
list-template-p (method)
number-template-number (function)
number-template-numeric-class (function)
number-template-numeric-type (function)
plist-template (class)
plist-template-p (generic function)
plist-template-p (method)
plist-template-p (method)
sequence-template (class)
sequence-template-lambda-list (function)
sequence-template-p (generic function)
sequence-template-p (method)
sequence-template-p (method)
sharp-t-reader (function)
standard-object-template-class (function)
standard-object-template-slots (function)
string-template (class)
string-template-p (generic function)
string-template-p (method)
string-template-p (method)
structure-object-template-class (function)
structure-object-template-slots (function)
subseq-template (class)
subseq-template-p (generic function)
subseq-template-p (method)
subseq-template-p (method)
symbol-template-symbol (function)
type-template-type-spec (generic function)
type-template-type-spec (method)
unification-template-error (condition)
vector-template (class)
vector-template-element-type (function)
vector-template-p (generic function)
vector-template-p (method)
vector-template-p (method)
vector-template-size (function)

3.1.7 `cl-unification/unifier.lisp`

Dependency

Parent

cl-unification (system)

Location

unifier.lisp

Exported Definitions

*unify-string-case-sensitive-p* (special variable)
unify (generic function)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify* (function)
unify-equations (function)
unify-equations* (function)

Internal Definitions

*occurrence-check-p* (special variable)
occurs-in-p (generic function)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
unify-array-row (function)
unify-array-rows (function)
untyped-unify (generic function)
untyped-unify (method)
untyped-unify (method)
untyped-unify (method)
valid-template-p (function)
var-unify (function)

3.1.8 `cl-unification/match-block.lisp`

Dependency

unifier.lisp (file)

Parent

cl-unification (system)

Location

match-block.lisp

Exported Definitions

match (macro)
match-case (macro)
matchf (macro)
matchf-case (macro)
matching (macro)

Internal Definitions

clean-unify-var-name (function)
unification-non-exhaustive (condition)

3.1.9 `cl-unification/apply-substitution.lisp`

Dependency

match-block.lisp (file)

Parent

cl-unification (system)

Location

apply-substitution.lisp

Exported Definitions

apply-substitution (generic function)
apply-substitution (method)
apply-substitution (method)
apply-substitution (method)
apply-substitution (method)

Internal Definitions

compose-substitutions (function)
ground-term (function)

3.1.10 `cl-unification/cl-unification-lib.lisp`

Dependency: apply-substitution.lisp (file)
Parent: cl-unification (system)
Location: cl-unification-lib.asd

4 Packages

Packages are listed by definition order.

4.1 `cl-unification-system`

Source

cl-unification.asd

Use List

asdf/interface
common-lisp

Internal Definitions

asdf-system-definition-file (class)

4.2 `it.unimib.disco.ma.cl.ext.dacf.unification`

The CL.EXT.DACF.UNIFICATION Package.

This package contains all the definitions necessary for the general Common Lisp unifier to work.
The package also has the "UNIFY" nickname.

Source

cl-unification-pkg.lisp (file)

Nicknames

cl-unification
unify
unify
cl.ext.dacf.unification

Use List

common-lisp

Exported Definitions

*unify-string-case-sensitive-p* (special variable)
apply-substitution (generic function)
apply-substitution (method)
apply-substitution (method)
apply-substitution (method)
apply-substitution (method)
aref-template (class)
aref-template-p (generic function)
aref-template-p (method)
aref-template-p (method)
array-template (class)
array-template-p (generic function)
array-template-p (method)
array-template-p (method)
binding-value (function)
(setf binding-value) (function)
binding-variable (function)
(setf binding-variable) (function)
collect-template-vars (generic function)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
collect-template-vars (method)
copy-environment (function)
element-template (class)
element-template-p (generic function)
element-template-p (method)
element-template-p (method)
elt-template (class)
elt-template-p (generic function)
elt-template-p (method)
elt-template-p (method)
empty-environment-p (function)
environment (structure)
environment-p (function)
expression-template (class)
expression-template-p (generic function)
expression-template-p (method)
expression-template-p (method)
extend-environment (function)
fill-environment (function)
fill-environment* (function)
find-variable-value (function)
make-empty-environment (function)
make-shared-environment (function)
make-template (generic function)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
make-template (method)
match (macro)
match-case (macro)
matchf (macro)
matchf-case (macro)
matching (macro)
new-var (function)
nil-template (class)
nil-template-p (generic function)
nil-template-p (method)
nil-template-p (method)
nth-template (class)
nth-template-p (generic function)
nth-template-p (method)
nth-template-p (method)
nthcdr-template (class)
nthcdr-template-p (generic function)
nthcdr-template-p (method)
nthcdr-template-p (method)
number-template (class)
number-template-p (generic function)
number-template-p (method)
number-template-p (method)
pop-frame (function)
push-frame (function)
standard-object-template (class)
standard-object-template-p (generic function)
standard-object-template-p (method)
standard-object-template-p (method)
structure-object-template (class)
structure-object-template-p (generic function)
structure-object-template-p (method)
structure-object-template-p (method)
substitution (type)
symbol-template (class)
symbol-template-p (generic function)
symbol-template-p (method)
symbol-template-p (method)
template (class)
template-p (generic function)
template-p (method)
template-p (method)
template-spec (generic function)
template-spec (method)
(setf template-spec) (method)
(setf template-spec) (generic function)
type-template (class)
type-template-p (generic function)
type-template-p (method)
type-template-p (method)
unification-failure (condition)
unification-variable-unbound (condition)
unify (generic function)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify* (function)
unify-equations (function)
unify-equations* (function)
v? (function)
variable-any-p (function)
variablep (function)

Internal Definitions

*known-number-template-constants* (special variable)
*null-environment* (special variable)
*occurrence-check-p* (special variable)
aref-template-element (function)
aref-template-indexes (function)
array-template-dimensions (function)
array-template-element-type (function)
array-template-shape-template (function)
aux-lambda-var-info (structure)
aux-lambda-var-info-default-value (function)
aux-lambda-var-info-name (function)
aux-lambda-var-info-name-for-supplied-indicator (function)
aux-lambda-var-info-p (function)
aux-lambda-var-info-type (function)
binding (type)
bindings (type)
bindings-keys (function)
bindings-values (function)
clean-unify-var-name (function)
compose-substitutions (function)
copy-aux-lambda-var-info (function)
copy-frame (function)
copy-key-lambda-var-info (function)
copy-lambda-var-info (function)
copy-optional-lambda-var-info (function)
copy-rest-lambda-var-info (function)
dump-environment (function)
dump-frame (function)
empty-frame-p (function)
environment-frames (function)
(setf environment-frames) (function)
environment-values (function)
environment-variables (function)
extend-bindings (function)
find-variable-binding (function)
find-variable-binding-in-frame (function)
find-variable-value-in-frame (function)
first-frame (function)
frame (structure)
frame-bindings (function)
(setf frame-bindings) (function)
frame-p (function)
frame-values (function)
frame-variables (function)
ground-term (function)
is-variable-bound (function)
key-lambda-var-info (structure)
key-lambda-var-info-default-value (function)
key-lambda-var-info-keyword-name (function)
key-lambda-var-info-name (function)
key-lambda-var-info-name-for-supplied-indicator (function)
key-lambda-var-info-p (function)
key-lambda-var-info-type (function)
lambda-list-parsing-error (condition)
lambda-list-parsing-error-item (generic function)
lambda-list-parsing-error-item (method)
lambda-template (class)
lambda-template-p (generic function)
lambda-template-p (method)
lambda-template-p (method)
lambda-var-info (structure)
lambda-var-info-name (function)
lambda-var-info-p (function)
lambda-var-info-type (function)
list-template (class)
list-template-p (generic function)
list-template-p (method)
list-template-p (method)
make-aux-lambda-var-info (function)
make-binding (function)
make-environment (function)
make-frame (function)
make-key-lambda-var-info (function)
make-lambda-var-info (function)
make-optional-lambda-var-info (function)
make-rest-lambda-var-info (function)
make-var-name (function)
normalize-lambda-list (function)
number-template-number (function)
number-template-numeric-class (function)
number-template-numeric-type (function)
occurs-in-p (generic function)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
occurs-in-p (method)
optional-lambda-var-info (structure)
optional-lambda-var-info-default-value (function)
optional-lambda-var-info-name (function)
optional-lambda-var-info-name-for-supplied-indicator (function)
optional-lambda-var-info-p (function)
optional-lambda-var-info-type (function)
parse-auxiliary-var-type-info (function)
parse-extended-ordinary-lambda-list (function)
parse-key-var-type-info (function)
parse-optional-var-type-info (function)
parse-rest-var-type-info (function)
parse-var-type-info (function)
plist-template (class)
plist-template-p (generic function)
plist-template-p (method)
plist-template-p (method)
print-environment (function)
rest-lambda-var-info (structure)
rest-lambda-var-info-element-type (function)
rest-lambda-var-info-name (function)
rest-lambda-var-info-p (function)
rest-lambda-var-info-type (function)
sequence-template (class)
sequence-template-lambda-list (function)
sequence-template-p (generic function)
sequence-template-p (method)
sequence-template-p (method)
sharp-t-reader (function)
standard-object-template-class (function)
standard-object-template-slots (function)
string-template (class)
string-template-p (generic function)
string-template-p (method)
string-template-p (method)
structure-object-template-class (function)
structure-object-template-slots (function)
subseq-template (class)
subseq-template-p (generic function)
subseq-template-p (method)
subseq-template-p (method)
substitution-p (function)
symbol-or-cons-p (function)
symbol-template-symbol (function)
type-is-t-p (function)
type-specifier-p (function)
type-template-type-spec (generic function)
type-template-type-spec (method)
unification-non-exhaustive (condition)
unification-template-error (condition)
unify-array-row (function)
unify-array-rows (function)
untyped-unify (generic function)
untyped-unify (method)
untyped-unify (method)
untyped-unify (method)
valid-template-p (function)
var-unify (function)
vector-template (class)
vector-template-element-type (function)
vector-template-p (generic function)
vector-template-p (method)
vector-template-p (method)
vector-template-size (function)

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.

5.1 Exported definitions

5.1.1 Special variables

Special Variable: *unify-string-case-sensitive-p*

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

5.1.2 Macros

Macro: match (TEMPLATE OBJECT &key MATCH-NAMED SUBSTITUTION ERRORP ERROR-VALUE) &body FORMS

Sets up a lexical environment to evaluate FORMS after an unification.
MATCH unifies a TEMPLATE and an OBJECT and then sets up a lexical environment where the variables present in the template are bound lexically. Note that both variable names ’?FOO’ and ’FOO’ are bound for convenience.

The MATCH form returns the values returned by the evaluation of the last of the FORMS.

If ERRORP is non-NIL (the default) then the form raises a UNIFICATION-FAILURE, otherwise the result of evaluating ERROR-VALUE, whose default is NIL is returned. (Note that UNIFICATION-FAILUREs raising from the evaluation of FORMS will also be caught and handled according to ERRORP settings.)

If MATCH-NAMED is not NIL, then a surrounding BLOCK named MATCH-NAMED is set up around the matching code.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: match-block.lisp (file)

Macro: match-case (OBJECT &key ERRORP DEFAULT-SUBSTITUTION MATCH-CASE-NAMED) &body CLAUSES

MATCH-CASE sets up a CASE-like environment for multiple template matching clauses.
The syntax of MATCH-CASE comprises a number of clauses of the form
<pre>
clause ::= regular-clause | default-clause
regular-clause ::= ’(’ template ’&body’ forms ’)’
default-clause ::= ’(’ t ’&body’ forms ’)’
| ’(’ ’otherwise’ ’&body’ forms ’)’
</pre>
’form’ and ’forms’ are regular Common Lisp forms.
’template’ is a unification template.

The full syntax of MATCH-CASE is
<pre>
match-case (object &key errorp default-substitution) clauses
</pre>
Each clause evaluates its forms in an environment where the variables
present in the template are bound lexically. Note that both variable
names ’?FOO’ and ’FOO’ are bound for convenience.

The values returned by the MATCH-CASE form are those of the last form in
the first clause that satisfies the match test.

If ERRORP is non-NIL then if none of the regular clauses matches, then
an error of type UNIFICATION-NON-EXAUSTIVE is signalled, regardless of
any default clause. Otherwise, the default clause behaves as a
standard CASE default clause. The default value of ERRORP is NIL.

MATCHING-NAMED is used as BLOCK name around the MATCHING machinery.

DEFAULT-SUBSTITUTION is the substitution to be used for the matching;
it defaults to the empty substitution.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: match-block.lisp (file)

Macro: matchf (TEMPLATE OBJECT &key MATCH-NAMED SUBSTITUTION ERRORP ERROR-VALUE) &body FORMS

Sets up a lexical environment to evaluate FORMS after an unification.
MATCHF unifies a TEMPLATE and an OBJECT and then sets up a lexical environment where the variables present in the template are bound lexically. Note that both variable names ’?FOO’ and ’FOO’ are bound for convenience.

MATCHF does not ’evaluate’ TEMPLATE (note that using the #T syntax will generate a template at read-time).

The MATCHF form returns the values returned by the evaluation of the last of the FORMS.

If ERRORP is non-NIL (the default) then the form raises a UNIFICATION-FAILURE, otherwise the result of evaluating ERROR-VALUE, whose default is NIL is returned. (Note that UNIFICATION-FAILUREs raising from the evaluation of FORMS will also be caught and handled according to ERRORP settings.)

If MATCH-NAMED is not NIL, then a surrounding BLOCK named MATCH-NAMED is set up around the matching code.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: match-block.lisp (file)

Macro: matchf-case (OBJECT &key ERRORP DEFAULT-SUBSTITUTION MATCH-CASE-NAMED) &body CLAUSES

MATCHF-CASE sets up a CASE-like environment for multiple template matching clauses.
The syntax of MATCHF-CASE comprises a number of clauses of the form
<pre>
clause ::= regular-clause | default-clause
regular-clause ::= ’(’ template ’&body’ forms ’)’
default-clause ::= ’(’ t ’&body’ forms ’)’
| ’(’ ’otherwise’ ’&body’ forms ’)’
</pre>
’form’ and ’forms’ are regular Common Lisp forms.
’template’ is a unification template.

The full syntax of MATCHF-CASE is

matchf-case (object &key errorp default-substitution) clauses

Each clause evaluates its forms in an environment where the variables
present in the template are bound lexically. Note that both variable
names ’?FOO’ and ’FOO’ are bound for convenience.

The values returned by the MATCH-CASE form are those of the last form in
the first clause that satisfies the match test.

If ERRORP is non-NIL then if none of the regular clauses matches, then
an error of type UNIFICATION-NON-EXAUSTIVE is signalled, regardless of
any default clause. Otherwise, the default clause behaves as a
standard CASE default clause. The default value of ERRORP is NIL.

MATCHING-NAMED is used as BLOCK name around the MATCHING machinery.

DEFAULT-SUBSTITUTION is the substitution to be used for the matching;
it defaults to the empty substitution.

Notes:

MATCHF-CASE behaves like MATCH-CASE, but the patterns are not
evaluated; i.e., it relies on MATCHF instead of MATCH to construct the
macro expansion.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: match-block.lisp (file)

Macro: matching (&key ERRORP DEFAULT-SUBSTITUTION MATCHING-NAMED) &rest MATCH-CLAUSES

MATCHING sets up a COND-like environment for multiple template matching clauses.
The syntax of MATCHING comprises a number of clauses, collected in MATCH-CLAUSES, of the form
<pre>
clause ::= regular-clause | default-clause
regular-clause ::= ’(’ ’(’ template form ’)’ ’&body’ forms ’)’ default-clause ::= ’(’ ’t’ ’&body’ forms ’)’
| ’(’ ’otherwise’ ’&body’ forms ’)’
</pre>
’form’ and ’forms’ are regular Common Lisp forms.
’template’ is a unification template.

The full syntax of MATCHING is
<pre>
matching (&key errorp default-substitution) clauses
</pre>
Each clause evaluates its forms in an environment where the variables present in the template are bound lexically. Note that both variable
names ’?FOO’ and ’FOO’ are bound for convenience.

The values returned by the MATCHING form are those of the last form in
the first clause that satisfies the match test.

If ERRORP is non-NIL then if none of the regular clauses matches, then
an error of type UNIFICATION-NON-EXAUSTIVE is signalled, regardless of
any default clause. Otherwise, the default clause behaves as a
standard COND default clause. The default value of ERRORP is NIL.

MATCHING-NAMED is used as BLOCK name around the MATCHING machinery.

DEFAULT-SUBSTITUTION is the substitution to be used for the matching;
it defaults to the empty substitution.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: match-block.lisp (file)

5.1.3 Functions

Function: binding-value B

Function: (setf binding-value) V B

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: binding-variable B

Function: (setf binding-variable) V B

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: copy-environment ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: empty-environment-p ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: environment-p OBJECT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: extend-environment VAR PAT &optional ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: fill-environment VARS PATS &optional ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: fill-environment* VARS-PATS &optional ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: find-variable-value VARIABLE &optional ENV ERRORP

Finds the value associated to VARIABLE in ENV.

VARIABLE is a unification variable; if ERRORP is non-null an error is signaled if VARIABLE is not found in the environment ENV.

The function returns two values: the value associated to VARIABLE or
NIL, and an indication about whether an association was actually found
in ENV.

Arguments and Values:

VARIABLE : a unification variable
ENV : and ENVIRONMENT
ERRORP : a generalized Boolean
result : a T
foundp : a BOOLEAN

Exceptional Situations:

If an error is signaled, then it is an instance of UNIFICATION-VARIABLE-UNBOUND.

Notes:

FIND-VARIABLE-VALUE is almost symmetric to IS-VARIABLE-BOUND.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: make-empty-environment ()

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: make-shared-environment ENV &optional PUSHP

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: new-var &optional S PACKAGE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: variables.lisp (file)

Function: pop-frame ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: push-frame ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: unify* A B &optional ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

Function: unify-equations EQNS &optional ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

Function: unify-equations* LHSS RHSS &optional ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

Function: v? S ENV &optional PLAIN-SYMBOL-P

Finds the value associated to the variable S in ENV.

This function is essentialy a convenience wrapper around FIND-VARIABLE-VALUE. If PLAIN-SYMBOL-P is non-NIL, then the symbol S is ensured to be a ’unification variable’ (with a #? first character).

Exceptional Situations:

A UNIFICATION-VARIABLE-UNBOUND may be signaled is ERRORP is non-nil and no association si found for S in ENV.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: variable-any-p X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: variables.lisp (file)

Function: variablep X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: variables.lisp (file)

5.1.4 Generic functions

Generic Function: apply-substitution SUBSTITUTION ITEM &optional EXCLUDE-VARS

Applies a SUBSTITUTION to an ITEM.

Package

Source

apply-substitution.lisp (file)

Methods

Method: apply-substitution (SUBSTITUTION environment) (L null) &optional EXCLUDE-VARS

Method: apply-substitution (SUBSTITUTION environment) (L cons) &optional EXCLUDE-VARS

Method: apply-substitution (SUBSTITUTION environment) (S symbol) &optional EXCLUDE-VARS

Method: apply-substitution (S environment) (N number) &optional EXCLUDE-VARS

Generic Function: aref-template-p X

Package

Source

Methods

Method: aref-template-p (X aref-template)

Method: aref-template-p X

Generic Function: array-template-p X

Package

Source

Methods

Method: array-template-p (X array-template)

Method: array-template-p X

Generic Function: collect-template-vars TEMPLATE

Package

Source

Methods

Method: collect-template-vars TEMPLATE

Method: collect-template-vars (TEMPLATE array)

Method: collect-template-vars (TEMPLATE vector)

Method: collect-template-vars (TEMPLATE string)

Method: collect-template-vars (TEMPLATE cons)

Method: collect-template-vars (TEMPLATE null)

Method: collect-template-vars (TEMPLATE symbol)

Method: collect-template-vars (TEMPLATE number-template)

Method: collect-template-vars (TEMPLATE symbol-template)

Method: collect-template-vars (TEMPLATE template)

Generic Function: element-template-p X

Package

Source

Methods

Method: element-template-p (X element-template)

Method: element-template-p X

Generic Function: elt-template-p X

Package

Source

Methods

Method: elt-template-p (X elt-template)

Method: elt-template-p X

Generic Function: expression-template-p X

Package

Source

Methods

Method: expression-template-p (X expression-template)

Method: expression-template-p X

Generic Function: make-template KIND SPEC

The ’template’ factory.

Creates a TEMPLATE instance based on the values of KIND and SPEC.

Arguments and Values:

KIND : a T
SPEC : a T
result : a TEMPLATE

Exceptional Situations:

May signal an error if a particular combination of KIND and SPEC is either not consistent or handled.

Package

Source

Methods

Method: make-template (KIND (eql nthcdr)) (SPEC cons)

Method: make-template (KIND (eql nth)) (SPEC cons)

Method: make-template (KIND (eql aref)) (SPEC cons)

Method: make-template (KIND (eql elt)) (SPEC cons)

Method: make-template (KIND (eql subseq)) (SPEC cons)

Method: make-template (KIND (eql array)) (SPEC cons)

Method: make-template (KIND (eql string)) (SPEC cons)

Method: make-template (KIND (eql vector)) (SPEC cons)

Method: make-template (KIND (eql lambda)) (SPEC cons)

Method: make-template (KIND (eql plist)) (SPEC cons)

Method: make-template (KIND (eql list)) (SPEC cons)

Method: make-template (KIND (eql sequence)) (SPEC cons)

Method: make-template (KIND number) (SPEC number)

Method: make-template (KIND cons) (SPEC cons)

Method: make-template (KIND symbol) (SPEC cons)

Method: make-template (KIND (eql symbol)) (SPEC cons)

Method: make-template (KIND symbol) (SPEC symbol)

Method: make-template (KIND null) (SPEC symbol)

Generic Function: nil-template-p X

Package

Source

Methods

Method: nil-template-p (X nil-template)

Method: nil-template-p X

Generic Function: nth-template-p X

Package

Source

Methods

Method: nth-template-p (X nth-template)

Method: nth-template-p X

Generic Function: nthcdr-template-p X

Package

Source

Methods

Method: nthcdr-template-p (X nthcdr-template)

Method: nthcdr-template-p X

Generic Function: number-template-p X

Package

Source

Methods

Method: number-template-p (X number-template)

Method: number-template-p X

Generic Function: standard-object-template-p X

Package

Source

Methods

Method: standard-object-template-p (X standard-object-template)

Method: standard-object-template-p X

Generic Function: structure-object-template-p X

Package

Source

Methods

Method: structure-object-template-p (X structure-object-template)

Method: structure-object-template-p X

Generic Function: symbol-template-p X

Package

Source

Methods

Method: symbol-template-p (X symbol-template)

Method: symbol-template-p X

Generic Function: template-p X

Returns T if the argument X is a TEMPLATE.

Arguments and Values:

X : any object
result : a BOOLEAN

Package

Source

Methods

Method: template-p (X template)

Method: template-p X

Generic Function: template-spec OBJECT

Generic Function: (setf template-spec) NEW-VALUE OBJECT

Package

Methods

Method: template-spec (TEMPLATE template)

automatically generated reader method

Source: templates-hierarchy.lisp (file)

Method: (setf template-spec) NEW-VALUE (TEMPLATE template)

automatically generated writer method

Source: templates-hierarchy.lisp (file)

Generic Function: type-template-p X

Package

Source

Methods

Method: type-template-p (X type-template)

Method: type-template-p X

Generic Function: unify A B &optional ENV &key CASE-SENSITIVE &allow-other-keys

Unifies two objects A and B given a substitution ENV.
A is a Common Lisp object and B is either a Common Lisp object or a "template", A and B can be commuted.

The unification rules are rather complex. Each method of the generic function implements a specific rule of unification.

The generic function returns a ‘substitution’ upon success or it signals a UNIFICATION-FAILURE condition upon failure.

Package

Source

unifier.lisp (file)

Methods

Method: unify (B nth-template) (A list) &optional ENV &key &allow-other-keys

Method: unify (A list) (B nth-template) &optional ENV &key &allow-other-keys

Method: unify (B elt-template) (A sequence) &optional ENV &key &allow-other-keys

Method: unify (A list) (B elt-template) &optional ENV &key &allow-other-keys

Method: unify (A vector) (B elt-template) &optional ENV &key &allow-other-keys

Method: unify (A sequence) (B elt-template) &optional ENV &key &allow-other-keys

Method: unify (B aref-template) (A array) &optional ENV &key &allow-other-keys

Method: unify (A vector) (B aref-template) &optional ENV &key &allow-other-keys

Method: unify (A array) (B aref-template) &optional ENV &key &allow-other-keys

Method: unify (B subseq-template) (A sequence) &optional ENV &key &allow-other-keys

Method: unify (A vector) (B subseq-template) &optional ENV &key &allow-other-keys

Method: unify (A list) (B subseq-template) &optional ENV &key &allow-other-keys

Method: unify (A sequence) (B subseq-template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A structure-object) &optional ENV &key &allow-other-keys

Method: unify (A structure-object) (B structure-object-template) &optional ENV &key &allow-other-keys

Method: unify (A structure-object) (B template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A standard-object) &optional ENV &key &allow-other-keys

Method: unify (A standard-object) (B standard-object-template) &optional ENV &key &allow-other-keys

Method: unify (A standard-object) (B template) &optional ENV &key &allow-other-keys

Method: unify (A array) (B array-template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A array) &optional ENV &key &allow-other-keys

Method: unify (A array) (B template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A vector) &optional ENV &key &allow-other-keys

Method: unify (A vector) (B sequence-template) &optional ENV &key &allow-other-keys

Method: unify (A vector) (B template) &optional ENV &key &allow-other-keys

Method: unify (A list) (B plist-template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A list) &optional ENV &key &allow-other-keys

Method: unify (A list) (B sequence-template) &optional ENV &key &allow-other-keys

Method: unify (A list) (B template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A sequence) &optional ENV &key &allow-other-keys

Method: unify (A sequence) (B template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A number) &optional ENV &key &allow-other-keys

Method: unify (A number) (B template) &optional ENV &key &allow-other-keys

Method: unify (A number) (B number-template) &optional ENV &key &allow-other-keys before

Method: unify (B number-template) (A number) &optional ENV &key &allow-other-keys

Method: unify (A number) (B number-template) &optional ENV &key &allow-other-keys

Method: unify (B template) (A symbol) &optional ENV &key &allow-other-keys

Method: unify (A symbol) (B template) &optional ENV &key &allow-other-keys

Method: unify (B symbol-template) (A symbol) &optional ENV &key &allow-other-keys

Method: unify (A symbol) (B symbol-template) &optional ENV &key &allow-other-keys

Method: unify (NT1 nil-template) (NT2 nil-template) &optional ENV &key &allow-other-keys

Method: unify (NT nil-template) (X null) &optional ENV &key &allow-other-keys

Method: unify (X null) (NT nil-template) &optional ENV &key &allow-other-keys

Method: unify (X null) (Y null) &optional ENV &key &allow-other-keys

Method: unify (X template) (Y template) &optional ENV &key &allow-other-keys

Method: unify A B &optional ENV &key &allow-other-keys

Method: unify (AS array) (BS array) &optional ENV &key &allow-other-keys

Method: unify (S1 sequence) (S2 sequence) &optional ENV &key &allow-other-keys

Method: unify (AS vector) (BS vector) &optional ENV &key &allow-other-keys

Method: unify (B array) (A symbol) &optional ENV &key &allow-other-keys

Method: unify (A symbol) (B array) &optional ENV &key &allow-other-keys

Method: unify B (A symbol) &optional ENV &key &allow-other-keys

Method: unify (A symbol) B &optional ENV &key &allow-other-keys

Method: unify (A symbol) (B symbol) &optional ENV &key &allow-other-keys

Method: unify (B string) (A symbol) &optional ENV &key &allow-other-keys

Method: unify (A symbol) (B string) &optional ENV &key &allow-other-keys

Method: unify (A string) (B string) &optional ENV &key CASE-SENSITIVE &allow-other-keys: Unifies two strings A and B.
Two strings A and B unify if and only if they satisfy either #’STRING= or #’STRING-EQUAL. The choice of which of test to perform (#’STRING= or #’STRING-EQUAL) is made according to the value of the variable
*UNIFY-STRING-CASE-SENSITIVE-P*, which defaults to T.
If A and B unify then an unmodified environment ENV is returned,
otherwise an error of type UNIFICATION-FAILURE is signaled.

Method: unify (A character) (B character) &optional ENV &key CASE-SENSITIVE &allow-other-keys: Unifies two strings A and B.
Two CHARACTERs A and B unify if and only if they satisfy either #’CHAR= or #’CHAR-EQUAL. The choice of which of test to perform (#’CHAR= or #’CHAR-EQUAL) is made according to the value of the variable *UNIFY-STRING-CASE-SENSITIVE-P*, which defaults to T.
If A and B unify then an unmodified environment ENV is returned,
otherwise an error of type UNIFICATION-FAILURE is signaled.

Method: unify (A number) (B number) &optional ENV &key &allow-other-keys: Unifies two numbers A and B.
Two numbers unify only if and only if they are equal as per the function #’=, in which case an unmodified envirironment ENV is returned.
Otherwise an error of type UNIFICATION-FAILURE is signalled.
Of course, asking for unification of two floating point numbers may
not yield the expected result.

Method: unify (A list) (B list) &optional ENV &key &allow-other-keys: Unifies a list A and a list B in an environment ENV.
The unification procedure proceedes recursively on each element of both lists. If two elements cannot be unified then an error of type UNIFICATION-FAILURE is signaled. Otherwise a possibly extended environment is returned.

Method: unify (B list) (A symbol) &optional ENV &key &allow-other-keys: Unifies a symbol B and a list A in an environment ENV.
If A is not a variable then an error of type UNIFICATION-FAILURE is signaled. If A is a unification variable, then the environment ENV is extended with a binding for A to B, unless the occurrence check is called and fails, in which case an error is signaled.

Method: unify (A symbol) (B list) &optional ENV &key &allow-other-keys: Unifies a symbol A and a list B in an environment ENV.
If A is not a variable then an error of type UNIFICATION-FAILURE is signaled. If A is a unification variable, then the environment ENV is extended with a binding for A to B, unless the occurrence check is called and fails, in which case an error is signaled.

5.1.5 Conditions

Condition: unification-failure ()

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)
Direct superclasses: simple-error (condition)
Direct subclasses: unification-non-exhaustive (condition)

Condition: unification-variable-unbound ()

This is the condition that is signaled

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)
Direct superclasses: unbound-variable (condition)

5.1.6 Structures

Structure: environment ()

The ENVIRONMENT structure.

The data structure containing the associations (bindings) between variables and values.

Package

Source

substitutions.lisp (file)

Direct superclasses

structure-object (structure)

Direct methods

apply-substitution (method)
apply-substitution (method)
apply-substitution (method)
apply-substitution (method)
print-object (method)

Direct slots

Slot: frames

Type: list
Readers: environment-frames (function)
Writers: (setf environment-frames) (function)

5.1.7 Classes

Class: aref-template ()

The AREF-TEMPLATE Class.

The instances of this class are those object that are used to unify
against a particular element of an ARRAY.

The syntax of these templates is the following:

<pre>
#T(aref (index1 ... indexN) item)
</pre>

<pre>
#T(aref index item)
</pre>

The AREF-TEMPLATE syntax denotes the item at index1 ...
indexN of an ARRAY. An AREF-TEMPLATE must be unified against a
ARRAY object. item is unified against the element
extracted from the sequence object at index1 ... indexN
by the standard function AREF.

The second form is a shorthand.

<pre>
#T(aref index item) <==> #T(aref (index) item) </pre>

Examples:

cl-prompt> (setf e (unify #(0 1 42 3 4 5) #T(aref 2 ?x)))
#<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
42

cl-prompt> (setq e (unify #(0 1 42 3 4 5) #T(aref 42 ?x)))
==> Error: index 42 out of bounds.

cl-prompt> (setq e (unify 42 #T(aref 42 ?x)))
==> Error: UNIFICATION-FAILURE

cl-prompt> (setq e (unify "This is a string!" #T(aref 4 ?x)))
#<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
#\Space

cl-prompt> (setq e (unify #2A((1 0) (foo bar)) #T(aref (1 1) ?x)))
#<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
BAR

cl-prompt> (setq e (unify #2A((1 0) (foo bar)) #T(aref (1 1) baz)))
==> Error: UNIFICATION-FAILURE

cl-prompt> (setq e (unify #2A((1 0) (foo ?x)) #T(aref (1 1) baz)))
#<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
BAZ

Exceptional Situations:

Unifying an AREF-TEMPLATE against a non-ARRAY object results in an
UNIFICATION-FAILURE error being signaled.

Package

Source

Direct superclasses

element-template (class)

Direct methods

unify (method)
unify (method)
unify (method)
aref-template-p (method)

Class: array-template ()

The ARRAY-TEMPLATE Class.

The instances of this class are objects that can be used to unify
against arrays.

The syntax of this particular template is the following:
<pre>
#T(array <shape-template>)
</pre>

<pre>
#T(array ([* | <CL type specifier>] [<dimension spec>]) <shape-template>) </pre>

Where <shape-template> can be:

The ARRAY-TEMPLATE syntax denotes an ARRAY object. An ARRAY-TEMPLATE
must be unified against an ARRAY object. The elements of the array
must be unified against the <shape-template>. Each row of the
array is unified recursively against each element of the
<shape-template>.

Examples:

cl-prompt> (setf e (unify #(0 1 42 3 4 5) #T(array (0 1 ?x 3 4 5))))
#<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
42

cl-prompt> (setq e (unify #(0 1 42 3 4 5) #T(array (0 1 "FOO" 3 4 5))))
==> Error: UNIFICATION-FAILURE

cl-prompt> (setq e (unify #2A((0 1 42) (3 4 5)) #T(array ((0 1 ?x) (3 4 5)))))
#<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
42

cl-prompt> (setq e (unify #2A(("foo" "bar" 42) (3 4 5)) #T(array ((_ _ ?x) (3 4 5))))) #<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
42

cl-prompt> (setq e (unify #2A(("foo" "bar" 42) (3 4 5)) #T(array (#T(vector _ &rest ?x) (3 4 5))))) #<ENVIRONMENT xxx>

cl-prompt> (find-variable-value ’?x e)
#("bar" 42)

Exceptional Situations:

Unifying an ARRAY-TEMPLATE against a non-ARRAY object results in an
UNIFICATION-FAILURE error being signaled.

Notes:

<h3>Syntax Note</h3>

The ARRAY-TEMPLATE syntax tries to be easy to use, at the cost of
being overloaded. There is no actual need to have the separate
forms <code>(array (fixnum) ...)</code> and
<code>((array fixnum) ...)</code>.

In a future release they may be conflated. For the time being
they are kept separate as it is unclear which would be better to
provide.

<h3>Elements Unification</h3>

It would be nice to have the possibility to unify against
slices of the array. Alas, this seems non trivial to get
right, and it is left as a future extension of the semantics of
<shape-template>.

<h3>ARRAY Structural Properties</h3>

For the time being, there is no way to "unify" against structural
properties of vectors like fill pointers and displacements.

Package

Source

Direct superclasses

type-template (class)

Direct subclasses

vector-template (class)

Direct methods

unify (method)
array-template-p (method)

Class: element-template ()

The ELEMENT-TEMPLATE Class.

The instances of this class are those object that are used to unify against a particular element of an ARRAY or a SEQUENCE.

Package

Source

Direct superclasses

expression-template (class)

Direct subclasses

elt-template (class)
aref-template (class)
nth-template (class)
nthcdr-template (class)

Direct methods

element-template-p (method)

Class: elt-template ()

Package

Source

Direct superclasses

element-template (class)

Direct methods

unify (method)
unify (method)
unify (method)
unify (method)
elt-template-p (method)

Class: expression-template ()

The EXPRESSION-TEMPLATE Class.

This class is the root of the ’expression template’ sub-hierarchy.

Package

Source

Direct superclasses

template (class)

Direct subclasses

lambda-template (class)
subseq-template (class)
element-template (class)

Direct methods

expression-template-p (method)

Class: nil-template ()

Package

Source

Direct superclasses

type-template (class)

Direct methods

unify (method)
unify (method)
unify (method)
nil-template-p (method)

Class: nth-template ()

Package

Source

Direct superclasses

element-template (class)

Direct methods

unify (method)
unify (method)
nth-template-p (method)

Class: nthcdr-template ()

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)
Direct superclasses: element-template (class)
Direct methods: nthcdr-template-p (method)

Class: number-template ()

Package

Source

Direct superclasses

type-template (class)

Direct methods

unify (method)
unify (method)
unify (method)
collect-template-vars (method)
initialize-instance (method)
initialize-instance (method)
number-template-p (method)

Class: standard-object-template ()

Package

Source

Direct superclasses

type-template (class)

Direct methods

unify (method)
standard-object-template-p (method)

Class: structure-object-template ()

Package

Source

Direct superclasses

type-template (class)

Direct methods

unify (method)
structure-object-template-p (method)

Class: symbol-template ()

Package

Source

Direct superclasses

type-template (class)

Direct methods

unify (method)
unify (method)
collect-template-vars (method)
symbol-template-p (method)

Class: template ()

The TEMPLATE Class.

The root of the hierarchy of template objects.

Package

Source

Direct superclasses

standard-object (class)

Direct subclasses

type-template (class)
expression-template (class)

Direct methods

occurs-in-p (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
unify (method)
collect-template-vars (method)
make-load-form (method)
print-object (method)
template-p (method)
template-spec (method)
template-spec (method)

Direct slots

Slot: spec

Type: (or symbol cons)
Initargs: :spec
Readers: template-spec (generic function)
Writers: (setf template-spec) (generic function)

Direct Default Initargs

Initarg	Value
`:spec`	`nil`

Class: type-template ()

Package

Source

Direct superclasses

template (class)

Direct subclasses

nil-template (class)
sequence-template (class)
array-template (class)
symbol-template (class)
number-template (class)
structure-object-template (class)
standard-object-template (class)

Direct methods

type-template-type-spec (method)
type-template-p (method)

5.1.8 Types

Type: substitution ()

The SUBSTITUTION type.

The type representing the associations between variables and values.

Notes:

It is a synonim for the structure type ENVIRONMENT.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

5.2 Internal definitions

5.2.1 Special variables

Special Variable: *known-number-template-constants*

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Special Variable: *null-environment*

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Special Variable: *occurrence-check-p*

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

5.2.2 Functions

Function: aref-template-element X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: aref-template-indexes X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: array-template-dimensions X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: array-template-element-type X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: array-template-shape-template X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: aux-lambda-var-info-default-value INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: aux-lambda-var-info-name INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: aux-lambda-var-info-name-for-supplied-indicator INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: aux-lambda-var-info-p OBJECT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: aux-lambda-var-info-type INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: bindings-keys BINDINGS

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: bindings-values BINDINGS

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: clean-unify-var-name V

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: match-block.lisp (file)

Function: compose-substitutions ENV2 ENV1

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: apply-substitution.lisp (file)

Function: copy-aux-lambda-var-info INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: copy-frame INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: copy-key-lambda-var-info INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: copy-lambda-var-info INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: copy-optional-lambda-var-info INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: copy-rest-lambda-var-info INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: dump-environment ENV &optional OUT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: dump-frame F &optional OUT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: empty-frame-p F

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: environment-frames INSTANCE

Function: (setf environment-frames) VALUE INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: environment-values ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: environment-variables ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: extend-bindings VARIABLE VALUE BINDINGS

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: find-variable-binding VARIABLE &optional ENV

Finds a BINDING for a VARIABLE in ENV.

The function returns a BINDING for VARIABLE in ENV, if it finds one. Otherwise returns NIL.

Arguments and Values:

VARIABLE : a unification variable
ENV : and ENVIRONMENT
result : a BINDING or NIL.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: find-variable-binding-in-frame V F

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: find-variable-value-in-frame V F

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: first-frame ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: frame-bindings INSTANCE

Function: (setf frame-bindings) VALUE INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: frame-p OBJECT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: frame-values FRAME

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: frame-variables FRAME

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: ground-term TERM &optional SUBSTITUTION

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: apply-substitution.lisp (file)

Function: is-variable-bound VARIABLE &optional ENV

Checks whether a VARIABLE is bound in ENV.

The function returns two values: a BOOLEAN that indicates whether VARIABLE is bound in ENV and its value if so; otherwise the second value is NIL.

Arguments and Values:

VARIABLE : a unification variable
ENV : and ENVIRONMENT
bounddp : a BOOLEAN
result : a T

Notes:

IS-VARIABLE-BOUND is almost symmetric to FIND-VARIABLE-VALUE.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: key-lambda-var-info-default-value INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: key-lambda-var-info-keyword-name INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: key-lambda-var-info-name INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: key-lambda-var-info-name-for-supplied-indicator INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: key-lambda-var-info-p OBJECT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: key-lambda-var-info-type INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: lambda-var-info-name INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: lambda-var-info-p OBJECT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: lambda-var-info-type INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: make-aux-lambda-var-info &key (NAME NAME) (TYPE TYPE) (DEFAULT-VALUE DEFAULT-VALUE) (NAME-FOR-SUPPLIED-INDICATOR NAME-FOR-SUPPLIED-INDICATOR)

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: make-binding VARIABLE VALUE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: make-environment &key (FRAMES FRAMES)

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: make-frame &optional BINDINGS

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: make-key-lambda-var-info &key (NAME NAME) (TYPE TYPE) (DEFAULT-VALUE DEFAULT-VALUE) (NAME-FOR-SUPPLIED-INDICATOR NAME-FOR-SUPPLIED-INDICATOR) (KEYWORD-NAME KEYWORD-NAME)

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: make-lambda-var-info &key (NAME NAME) (TYPE TYPE)

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: make-optional-lambda-var-info &key (NAME NAME) (TYPE TYPE) (DEFAULT-VALUE DEFAULT-VALUE) (NAME-FOR-SUPPLIED-INDICATOR NAME-FOR-SUPPLIED-INDICATOR)

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: make-rest-lambda-var-info &key NAME TYPE ELEMENT-TYPE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: make-var-name &optional S PACKAGE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: variables.lisp (file)

Function: normalize-lambda-list LAMBDA-LIST

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: number-template-number X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: number-template-numeric-class X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: number-template-numeric-type X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: optional-lambda-var-info-default-value INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: optional-lambda-var-info-name INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: optional-lambda-var-info-name-for-supplied-indicator INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: optional-lambda-var-info-p OBJECT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: optional-lambda-var-info-type INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: parse-auxiliary-var-type-info VAR

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: parse-extended-ordinary-lambda-list LAMBDA-LIST &key ORDINARY-VARIABLE-TEST OPTIONAL-VARIABLE-TEST REST-VARIABLE-TEST KEY-VARIABLE-TEST AUX-VARIABLE-TEST

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: parse-key-var-type-info VAR

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: parse-optional-var-type-info VAR

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: parse-rest-var-type-info VAR

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: parse-var-type-info VAR

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: print-environment ENV STREAM

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: rest-lambda-var-info-element-type INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: rest-lambda-var-info-name INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: rest-lambda-var-info-p OBJECT

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: rest-lambda-var-info-type INSTANCE

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: sequence-template-lambda-list X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: sharp-t-reader STREAM SUBCHAR ARG

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: standard-object-template-class X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: standard-object-template-slots X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: structure-object-template-class X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: structure-object-template-slots X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: substitution-p X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: substitutions.lisp (file)

Function: symbol-or-cons-p X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: symbol-template-symbol X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: type-is-t-p TYPE-SPEC

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: type-specifier-p X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)

Function: unify-array-row ARRAY DIMS SHAPE-TEMPLATE INDEXES ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

Function: unify-array-rows ARRAY SHAPE-TEMPLATE ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

Function: valid-template-p X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

Function: var-unify VAR PAT ENV

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: unifier.lisp (file)

Function: vector-template-element-type X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

Function: vector-template-size X

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)

5.2.3 Generic functions

Generic Function: lambda-list-parsing-error-item CONDITION

Package

Methods

Method: lambda-list-parsing-error-item (CONDITION lambda-list-parsing-error)

Source: lambda-list-parsing.lisp (file)

Generic Function: lambda-template-p X

Package

Source

Methods

Method: lambda-template-p (X lambda-template)

Method: lambda-template-p X

Generic Function: list-template-p X

Package

Source

Methods

Method: list-template-p (X list-template)

Method: list-template-p X

Generic Function: occurs-in-p VAR PAT ENV

Package

Source

unifier.lisp (file)

Methods

Method: occurs-in-p VAR PAT ENV

Method: occurs-in-p (VAR symbol) PAT ENV

Method: occurs-in-p (VAR symbol) (PAT template) ENV

Method: occurs-in-p (VAR symbol) (PAT character) ENV

Method: occurs-in-p (VAR symbol) (PAT number) ENV

Method: occurs-in-p (VAR symbol) (PAT string) ENV

Method: occurs-in-p (VAR symbol) (PAT vector) ENV

Method: occurs-in-p (VAR symbol) (PAT array) ENV

Method: occurs-in-p (VAR symbol) (PAT null) ENV

Method: occurs-in-p (VAR symbol) (PAT list) ENV

Method: occurs-in-p (VAR symbol) (PAT symbol) ENV

Generic Function: plist-template-p X

Package

Source

Methods

Method: plist-template-p (X plist-template)

Method: plist-template-p X

Generic Function: sequence-template-p X

Package

Source

Methods

Method: sequence-template-p (X sequence-template)

Method: sequence-template-p X

Generic Function: string-template-p X

Package

Source

Methods

Method: string-template-p (X string-template)

Method: string-template-p X

Generic Function: subseq-template-p X

Package

Source

Methods

Method: subseq-template-p (X subseq-template)

Method: subseq-template-p X

Generic Function: type-template-type-spec X

Package

Source

Methods

Method: type-template-type-spec (X type-template)

Generic Function: untyped-unify A B &optional ENV

Package

Source

unifier.lisp (file)

Methods

Method: untyped-unify A B &optional ENV

Method: untyped-unify (AS vector) (BS list) &optional ENV

Method: untyped-unify (AS list) (BS vector) &optional ENV

Generic Function: vector-template-p X

Package

Source

Methods

Method: vector-template-p (X vector-template)

Method: vector-template-p X

5.2.4 Conditions

Condition: lambda-list-parsing-error ()

Package

Source

Direct superclasses

program-error (condition)

Direct methods

lambda-list-parsing-error-item (method)

Direct slots

Slot: item

Initargs: :item
Readers: lambda-list-parsing-error-item (generic function)

Condition: unification-non-exhaustive ()

Condition thrown by ’match’ forms.

The condition UNIFICATION-FAILURE is thrown by ’match’ forms when it can be established that there are other possible unifications for a template.

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: match-block.lisp (file)
Direct superclasses: unification-failure (condition)

Condition: unification-template-error ()

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)
Direct superclasses: simple-error (condition)

5.2.5 Structures

Structure: aux-lambda-var-info ()

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: lambda-list-parsing.lisp (file)
Direct superclasses: optional-lambda-var-info (structure)

Structure: frame ()

Package

Source

substitutions.lisp (file)

Direct superclasses

structure-object (structure)

Direct slots

Slot: bindings

Type: it.unimib.disco.ma.cl.ext.dacf.unification::bindings
Readers: frame-bindings (function)
Writers: (setf frame-bindings) (function)

Structure: key-lambda-var-info ()

Package

Source

Direct superclasses

optional-lambda-var-info (structure)

Direct slots

Slot: keyword-name

Readers: key-lambda-var-info-keyword-name (function)
Writers: (setf key-lambda-var-info-keyword-name) (function)

Structure: lambda-var-info ()

Package

Source

Direct superclasses

structure-object (structure)

Direct subclasses

optional-lambda-var-info (structure)
rest-lambda-var-info (structure)

Direct slots

Slot: name

Readers: lambda-var-info-name (function)
Writers: (setf lambda-var-info-name) (function)

Slot: type

Initform: t
Readers: lambda-var-info-type (function)
Writers: (setf lambda-var-info-type) (function)

Structure: optional-lambda-var-info ()

Package

Source

Direct superclasses

lambda-var-info (structure)

Direct subclasses

aux-lambda-var-info (structure)
key-lambda-var-info (structure)

Direct slots

Slot: default-value

Readers: optional-lambda-var-info-default-value (function)
Writers: (setf optional-lambda-var-info-default-value) (function)

Slot: name-for-supplied-indicator

Readers: optional-lambda-var-info-name-for-supplied-indicator (function)
Writers: (setf optional-lambda-var-info-name-for-supplied-indicator) (function)

Structure: rest-lambda-var-info ()

Package

Source

Direct superclasses

lambda-var-info (structure)

Direct slots

Slot: element-type

Initform: t
Readers: rest-lambda-var-info-element-type (function)
Writers: (setf rest-lambda-var-info-element-type) (function)

5.2.6 Classes

Class: asdf-system-definition-file ()

Package: cl-unification-system
Source: cl-unification.asd
Direct superclasses: cl-source-file (class)
Direct methods: source-file-type (method)

Class: lambda-template ()

Package

Source

Direct superclasses

expression-template (class)
list-template (class)

Direct methods

lambda-template-p (method)

Class: list-template ()

Package

Source

Direct superclasses

sequence-template (class)

Direct subclasses

plist-template (class)
lambda-template (class)

Direct methods

list-template-p (method)

Class: plist-template ()

Package

Source

Direct superclasses

list-template (class)

Direct methods

unify (method)
plist-template-p (method)

Class: sequence-template ()

Package

Source

Direct superclasses

type-template (class)

Direct subclasses

list-template (class)
vector-template (class)

Direct methods

unify (method)
unify (method)
sequence-template-p (method)

Class: string-template ()

Package: it.unimib.disco.ma.cl.ext.dacf.unification
Source: templates-hierarchy.lisp (file)
Direct superclasses: vector-template (class)
Direct methods: string-template-p (method)

Class: subseq-template ()

Package

Source

Direct superclasses

expression-template (class)

Direct methods

unify (method)
unify (method)
unify (method)
unify (method)
subseq-template-p (method)

Class: vector-template ()

Package

Source