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)