Undocumented predicates

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

 boole(Arg1, Arg2)

 pairs(Arg1, Arg2)

 choices(Arg1, Arg2)

 product(Arg1, Arg2, Arg3)

 powerlist(Arg1, Arg2, Arg3)

 powerset(Arg1, Arg2)

 string_to_ground_term(Arg1, Arg2)

 subst(Arg1, Arg2, Arg3)

 nCr(Arg1, Arg2, Arg3)

 combi(Arg1, Arg2, Arg3)

 combination(Arg1, Arg2, Arg3, Arg4)

 fun_to_rel(Arg1, Arg2)

 rel_to_fun(Arg1, Arg2)

 principal_filter(Arg1, Arg2, Arg3)

 all_maps(Arg1, Arg2, Arg3)

 filter(Arg1, Arg2, Arg3)

 inverse_image(Arg1, Arg2, Arg3)

 image(Arg1, Arg2, Arg3)

 bigcap(Arg1, Arg2)

 raise_list(Arg1, Arg2, Arg3)

 distribute_cons(Arg1, Arg2, Arg3)

 fact(Arg1, Arg2)

 factorial(Arg1, Arg2)

 factorial(Arg1, Arg2, Arg3)

 permutations(Arg1, Arg2)