[Up] [Contents] [Index] [Summary]
- 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).