setof(Term, Goal, List)
(see the Prolog ISO standard definition)
setof(@term, +callable, -list)
(see the Prolog ISO standard)
setof(Term, ::Goal, List)
setof(Term, Object::Goal, List)