Undocumented predicates

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

 remove(Arg1, Arg2, Arg3)

 sort_by_length(Arg1, Arg2, Arg3)

 mysetof(Arg1, Arg2, Arg3)

 sum(Arg1, Arg2)

 efface(Arg1, Arg2, Arg3)

 buildpar2(Arg1, Arg2, Arg3)

 neg(Arg1, Arg2)

 contains_duplicates(Arg1)

 contains_identicals(Arg1)

 identical_member(Arg1, Arg2)

 convert_to_horn_clause(Arg1, Arg2, Arg3)

 extract_body(Arg1, Arg2)

 list_to_struct(Arg1, Arg2)

 clist_to_prolog(Arg1, Arg2)

 append_all(Arg1, Arg2)

 maximum(Arg1, Arg2)

 myforall(Arg1, Arg2)

 identical_make_unique(Arg1, Arg2)

 remove_v(Arg1, Arg2, Arg3)

 remove_variant(Arg1, Arg2, Arg3)

 make_unique(Arg1, Arg2)

 variant_mem(Arg1, Arg2)

 different_predicates(Arg1, Arg2)

 nth_arg(Arg1, Arg2, Arg3)

 split_examples(Arg1, Arg2, Arg3, Arg4)

 shares_var(Arg1, Arg2)

 body2list(Arg1, Arg2)

 insert_unique(Arg1, Arg2, Arg3)

 insert_unique(Arg1, Arg2, Arg3, Arg4)

 effaceall(Arg1, Arg2, Arg3)

 genterm_test(Arg1, Arg2)

 subset_chk(Arg1, Arg2)

 best(Arg1, Arg2)

 subterm_at_position(Arg1, Arg2, Arg3, Arg4)

 part_of_clause(Arg1, Arg2)

 fak(Arg1, Arg2)

 fak1(Arg1, Arg2, Arg3)

 nueberk(Arg1, Arg2, Arg3)

 log2(Arg1, Arg2)

 log2nueberk(Arg1, Arg2, Arg3)

 sum_of_logs(Arg1, Arg2, Arg3)