Did you know ... Search Documentation:
Pack pac -- prolog/misc/zdd-misc.pl
PublicShow source
 subst_atomic(+M, +X, -Y) is det
( 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.

?- zdd_misc:subst_atomic([a-b, b-a], f(a, b), F). ?- zdd_misc:subst_atomic([a-b, b-a], f(c, d), F).

Undocumented predicates

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

 problem(Arg1, Arg2)