prolog::forall/3¶

forall(: Cond,: Action)*

(undocumented)

forall(+ Cond,+ Action)*

For all alternative bindings of Cond____Action can be proven. The example verifies that all arithmetic statements in the list L are correct. It does not say which is wrong if one proves wrong.

 ?- forall(member(Result = Formula, [2 = 1 + 1, 4 = 2 * 2]),
 Result =:= Formula).

For all alternative bindings of Cond____Action can be proven. The next example verifies that all arithmetic statements in the list L are correct. It does not say which is wrong if one proves wrong.

 ?- forall(member(Result = Formula, [2 = 1 + 1, 4 = 2 * 2]),
 Result =:= Formula).

Private-func:¶

1. prolog::forall_3::forall/3(int ARG1, int ARG2, int ARG3)():