bagof(+Template, +*Generator, *Set
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.
findall/3 for examples that illustrate
the differences among
call/1, and additionally: