|Did you know ...||Search Documentation:|
|Pack pac -- prolog/misc/zdd-misc.pl|
( A naive version of substitution.) With M being an assoc list as an assignment, but whose domain may consist of any terms, Y is unified with M'(X) where M' is the induced substitution by the assignment M.
subst_atomic([a-b, b-a], f(a, b), F).
subst_atomic([a-b, b-a], f(c, d), F).
The following predicates are exported, but not or incorrectly documented.