All Solutions

Predicates

bagof(?Term, +Goal, -List)

Succeeds if List is the (non-empty) list of all instances of Term such that Goal is provable.

coverof(?Term, +Goal, -List)

Succeeds if List is the (non-empty) list of all the most general instances of Term such that Goal is provable.

findall(?Term, +Goal, -List)

List is the (possibly empty) list of all instances of Term such that Goal is provable.

setof(?Term, +Goal, -List)

Succeeds if List is the (non-empty) ordered list of all instances of Term such that Goal is provable.