Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- attr_bind(Arg1, Arg2)
- attr_bind(Arg1)
- split_attrs(Arg1, Arg2, Arg3)
- clause_attv(Arg1, Arg2, Arg3)
- variant_i(Arg1, Arg2)
- av_comp(Arg1, Arg2)
- unify_bodies(Arg1, Arg2)
- clausify_attributes(Arg1, Arg2)
- clausify_attributes4(Arg1, Arg2, Arg3, Arg4)