Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
attr_unify_hook(Dict1, Var) :- ( get_attr(Var, Dict2) -> Dict1 >:< Dict2, Dict = Dict1.put(Dict2), put_attr(Var, Dict) ; Dict1 = Var ). attribute_goals(Var) --> { get_attr(Var, Dict) }, [ ft(Var, Dict) ]. ft(Var, Dict) :- put_attr(Var, Dict).