Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- anti_subst(Arg1, Arg2, Arg3)
- anti_subst(Arg1, Arg2, Arg3, Arg4)
- expand_clause(Arg1, Arg2, Arg3, Arg4)
- expand_head(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)
- expand_atomic_goal(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6)