findall(Template, Goal, List)
Collects a list of solutions for the goal. The order of the elements in the list follows the order of the goal solutions. It succeeds returning an empty list when the goal have no solutions.
This built-in meta-predicate is declared as a private method and thus cannot be used as a message to an object.
findall(?term, +callable, ?list)
instantiation_error
type_error(callable, Goal)
existence_error(procedure, Predicate)
findall(Template, Goal, List)
findall(Template, ::Message, List)
findall(Template, Object::Message, List)