setof/3 except that the list (or alternative lists)
returned will not be ordered, and may contain duplicates. This
relaxation saves time and space in execution.
A goal to be proved as if by
Call errors (see ref-sem-exc).
findall/3 for examples that illustrate
the differences among