lib(atts)


    Implements SICStus-Prolog compatible attributes on variables, via
    mapping to native ECLiPSe attributes (one ECLiPSe attribute for
    each module that defines SICStus attributes).

    Implements the predicates

    get_atts(-Var, ?AccessSpec)
	getting attributes
    put_atts(-Var, +AccessSpec)
	setting attributes

    and allows the user definition of the hook predicates

    verify_attributes(-Var, +Value, -Goals)
	pre-unification hook, called as ECLiPSe's pre_unify handler
    attribute_goal(-Var, -Goal)
	allows to define an interpretation of the attribute as goal.
	If defined, it is also used as the print-handler for attributes.

    ECLiPSe's toplevel makes no attempts to invoke any hooks.



