SICStus style attribute declarations¶

SICStus style attribute declarations are activated through loading the library atts.

The command

 | ?- use_module(library(atts)).

enables this form of attributed variables.

The directive

• attribute//11

and the following user defined predicates can be used:

• Module:get_atts//22

• Module:put_atts//22

• Module:put_atts//33

• Module:woken_att_do//44

[toc]

• Module:verify_attributes/4
• Module:get_atts/4