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


Attributed variables

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

Version: 1.10#6 (2004/8/7, 21:46:39 CEST)

Version of last change: 1.5#157 (2000/5/30, 13:4:47 CEST)

These predicates allow the manipulation of attributed variables. Attributes are special terms which are attached to a (free) variable, and are hidden from the normal Prolog computation. They can only be treated by using the predicates below.

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)

Documentation on multifiles (attributes)

PREDICATE: verify_attribute/2:

The predicate is multifile.

Usage: verify_attribute(Attr, Term)

PREDICATE: combine_attributes/2:

The predicate is multifile.

Usage: combine_attributes(Var1, Var2)

Other information (attributes)

Note that combine_attributes/2 and verify_attribute/2 are not called with the attributed variables involved, but with the corresponding attributes instead. The reasons are:

However, future improvements may change or extend the interface to attributed variables in order to provide a richer and more expressive interface.

For customized output of attributed variables, please refer to the documentation of the predicate portray_attribute/2.


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