Module:get_atts/4¶

defining a new attribute is just a question of establishing a% Functor, Mod -> INT mappings%

Module:get_atts( -Var, ?ListOfAttributes)*

Unify the list ?ListOfAttributes with the attributes for the unbound variable Var. Each member of the list must be a bound term of the form +( _Attribute_), -( _Attribute_) (the kbd prefix may be dropped). The meaning of + and - is:

• +( Attribute) Unifies Attribute with a corresponding attribute associated with Var, fails otherwise.

• -( Attribute) Succeeds if a corresponding attribute is not associated with Var. The arguments of Attribute are ignored.