Logtalk reference manual
Built-in method: findall/4

findall/4

Description

findall(Term, Goal, List, Tail)

Variant of the standard findall/3 that allows passing the tail of the results list. 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, +list)

Errors

(same as the standard findall/3 predicate)

Examples

To find all solutions in the context of the object or category containing the call:
findall(Term, Goal, List, Tail)
To find all solutions by sending the goal as a message to self:
findall(Term, ::Goal, List, Tail)
To find all solutions by sending the goal as a message to an explicit object:
findall(Term, Object::Goal, List, Tail)

See also

bagof/3, findall/3, forall/2, setof/3