Did you know ... Search Documentation:
Pack pac -- prolog/zdd/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).