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.