find.pl

Undocumented predicates

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

 forall(Arg1, Arg2, Arg3)

 forsome(Arg1, Arg2, Arg3)

 find_with_var_identity(Arg1, Arg2, Arg3, Arg4)