findall(Template, Goal, List, Tail)
Variant of the findall/3
method that allows passing the tail of the results list. It succeeds returning the tail argument 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, +list)
instantiation_error
type_error(callable, Goal)
existence_error(procedure, Predicate)
findall(Template, Goal, List, Tail)
findall(Template, ::Message, List, Tail)
findall(Template, Object::Message, List, Tail)