Did you know ... Search Documentation:
Pack pac -- prolog/pac/odict-attr.pl
PublicShow source
 distribute_constr(+X, +Rgn) is det
Distribute a region constraint Rgn down to the leaves of X.
 region_constr_of_leaves(+X, +Rgn, +P, -Q) is det
The list of region constraints on leaves of X with Rgn propagated down is a difference list P by Q.
 unify(+X, +Y) is det
unify X with Y. Unification dispatcher.
 close_btree(+X) is det
Close all leaves of X with [] (void tree)

?- {a:1}=X, close_btree(X), X={b:1}. ?- {a:1}=X, close_btree(X).

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 find_key(Arg1, Arg2, Arg3)