Did you know ... Search Documentation:
Pack pac -- prolog/pac/anti-subst.pl
PublicShow source
 anti_subst(+X, -A, -Y, -Z) is det
Difference list Y from Z is the minimum assoc list such that there is no expandable term appearing in A, and substitution of A with the assoc list is equal to X.
 anti_subst(+X, -A, -Y) is det
Is equatl to anti_subst(X, A, Y, []).
 expand_clause(+C, -D, -P, -Q) is det
Clauses in C are expanded to D with the difference list P from Q which consists of all generated auxiliary predicates.

Undocumented predicates

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

 expand_head(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
 expand_atomic_goal(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)