Go to the first, previous, next, last section, table of contents.


Attributed variables

Author(s): Christian Holzbaur, Daniel Cabeza, Manuel Carro.

Version: 1.3#121 (1999/11/26, 20:23:11 MET)

This library implements attributed variables, which provide a mechanism for extensible unification.

Usage and interface (attributes)

Documentation on exports (attributes)

PREDICATE: attach_attribute/2:

Usage: attach_attribute(Var,Attr)

PREDICATE: get_attribute/2:

Usage: get_attribute(Var,Attr)

PREDICATE: update_attribute/2:

Usage: update_attribute(Var,Attr)

PREDICATE: detach_attribute/1:

Usage: detach_attribute(Var)


Go to the first, previous, next, last section, table of contents.