Logtalk reference manual
Built-in method: forall/2
forall/2
Description
forall(Generator, Test)
For all solutions of Generator
, Test
is true. 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
forall(+callable, +callable)
Errors
- Either Generator or Test is a variable:
instantiation_error
- Generator is neither a variable nor a callable term:
type_error(callable, Generator)
- Test is neither a variable nor a callable term:
type_error(callable, Test)
Examples
- To call both goals in the context of the object or category containing the call:
forall(Generator, Test)
- To send both goals as messages to self:
forall(::Generator, ::Test)
- To send both goals as messages to explicit objects:
forall(Object1::Generator, Object2::Test)
See also
bagof/3
, findall/3
, findall/4
, setof/3