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/1

and the following user defined predicates can be used:

• Module:get_atts/2
• Module:put_atts/2
• Module:put_atts/3
• Module:woken_att_do/4