- 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)