Predicates that reason about all solutions are extra-logical. These are for example:
setof/3
findall/3
bagof/3