Documentation Prolog Predicate Reference builtin findall/3

findall/3

Find all the values that would make a goal succeed.

Description

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.

Implementation