Class SYMBOL-TEMPLATE
Package:
COMMON-LISP.EXTENSIONS.DATA-AND-CONTROL-FLOW.UNIFICATION
Class Precedence List:
SYMBOL-TEMPLATE, TYPE-TEMPLATE, TEMPLATE, STANDARD-OBJECT, T.
Known Subclasses:
None.
Slots:
None.
Description:
The SYMBOL-TEMPLATE class is the class of the objects that UNIFY recognizes as symbol templates.
Template Syntax
The specification of a SYMBOL-TEMPLATE has one of the two forms below:
#T<symbol>or
#T(symbol <value>)where value must be either a unification variable or a SYMBOL.
Affected By:
None.
Exceptional Situations:
Unifying a SYMBOL-TEMPLATE against a non-SYMBOL object results in an UNIFICATION-FAILURE error being signaled.
See Also:
UNIFY, NIL-TEMPLATE
Notes:
NIL-TEMPLATE should be used to specifically UNIFY against NIL.