All solutions

The predicates of this section are convenient for collecting solutions to a given goal.

findall/3

Find all the values that would make a goal succeed.

findall( ?term, +callable_term, ?list )

findall(Template, Goal, Instances) is true if and only if Instances is a list of values in the form Templates that would make the goal Goal succeed. Usually, Template and Goal share some variables, so Instances is filled with the values that make Goal succeed. If there is not a single value that make Goal unify, Instances will be an empty list.

findall/4

Find all the values that would make a goal succeed.

findall( +term, ?term, +callable_term, ?list )

findall(Connective, Template, Goal, Instances) is true if and only if Instances is a list of values in the form Templates that would make the goal Goal succeed. Usually, Template and Goal share some variables, so Instances is filled with the values that make Goal succeed. If there is not a single value that make Goal unify, Instances will be an empty list.