Next: mpg-ref-bb_delete, Previous: mpg-ref-atomic, Up: mpg-bpr [Contents][Index]
bagof/3
ISObagof(+Template, +Generator, -Set)
Like 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.
term
callable, must be nonvar
A goal to be proved as if by call/1
.
list of term, non-empty set
Call errors (see ref-sem-exc).
See findall/3
for examples that illustrate
the differences among findall/3
, setof/3
, and bagof/3
.
findall/3
, setof/3
, ^/2
, ref-all.