All solutions

• findall(?Term,+Goal,?List) Succeeds if List is the list of instances of Term such that Goal is provable.

• bagof(?Term,+Goal,?List) Like findall(Term,Goal,List) except for its treatment of free variables (i.e., variables that do not occur in Term) in Goal. It will first pick the first tuple of values for the free variables and then use this tuple of values to find the list of solutions List of Goal.

• setof(?Term,+Goal,?List) Like bagof(?Term,+Goal,?List) but the elements of List are sorted into alphabetical order.