Logtalk reference manual
Built-in method: findall/3
findall/3
Description
findall(Term, Goal, List)
See the Prolog ISO standard definition. This built-in meta-predicate is declared as a private method and thus cannot be used as a message to an object.
Template and modes
findall(?term, +callable, ?list)
Errors
(see the Prolog ISO standard)
Examples
- To find all solutions in the context of the object or category containing the call:
findall(Term, Goal, List)
- To find all solutions by sending the goal as a message to self:
findall(Term, ::Goal, List)
- To find all solutions by sending the goal as a message to an explicit object:
findall(Term, Object::Goal, List)
See also
bagof/3
, findall/4
, forall/2
, setof/3