For all solutions of
Test is true. This meta-predicate
implements a generate-and-test loop using a definition equivalent to
\+ (Generator, \+ Test).
This built-in meta-predicate is declared as a private method and thus cannot be used as a message to an object.
Modes and number of proofs
forall(@callable, @callable) - zero_or_one
Testis a variable:
Generatoris neither a variable nor a callable term:
Testis neither a variable nor a callable term:
To call both goals in the context of the object or category containing the call:
To send both goals as messages to self:
To send both goals as messages to explicit objects: