|Did you know ...||Search Documentation:|
|Pack pac -- prolog/pac/odict-attr.pl|
The list of region constraints on leaves of X with Rgn propagated down is a difference list P by Q.
unify X with Y. Unification dispatcher.
The following predicates are exported, but not or incorrectly documented.