YAP 7.1.0
SICStus Style attribute declarations

Detailed Description

The following documentation is taken from the SWI-Prolog manual

Binding an attributed variable schedules a goal to be executed at the first possible opportunity In the current implementation the hooks are executed immediately after a successful unification of the clause-head or successful completion of a foreign language (built-in) predicate Each attribute is associated to a module and the hook attr_unify_hook/2 is executed in this module The example below realises a very simple and incomplete finite domain reasoner

:- module(domain, [ domain/2 % Var, ?Domain % ]) :- use_module(library(ordsets))

domain(X, Dom) :- var(Dom), !, get_attr(X, domain, Dom) domain(X, List) :- list_to_ord_set(List, Domain), put_attr(Y, domain, Domain), X = Y

An attributed variable with attribute value Domain has been assigned the value Y.

attr_unify_hook(Domain, Y) :- ( get_attr(Y, domain, Dom2) -> ord_intersection(Domain, Dom2, NewDomain), ( NewDomain == [] -> fail ; NewDomain = [Value] -> Y = Value ; put_attr(Y, domain, NewDomain) ) ; var(Y) -> put_attr( Y, domain, Domain ) ; ord_memberchk(Y, Domain) )

Translate attributes from this module to residual goals:

attribute_goals(X) --> { get_attr(X, domain, List) }, [domain(X, List)] ```

Before explaining the code we give some example queries:

The predicate domain/2 fetches (first clause) or assigns (second clause) the variable a domain, a set of values it can be unified with In the second clause first associates the domain with a fresh variable and then unifies X to this variable to deal with the possibility that X already has a domain The predicate attr_unify_hook/2 is a hook called after a variable with a domain is assigned a value In the simple case where the variable is bound to a concrete value we simply check whether this value is in the domain Otherwise we take the intersection of the domains and either fail if the intersection is empty (first example), simply assign the value if there is only one value in the intersection (second example) or assign the intersection as the new domain of the variable (third example) The nonterminal attribute_goals/3 is used to translate remaining attributes to user-readable goals that, when executed, reinstate these attributes


 SICStus style attribute declarations