Next: Formatted Write
Up: Built-in predicates
Previous: Invoking Predicates on all
Contents
Index
- forall2+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.
![\begin{code}
?- forall(member(Result = Formula, [2 = 1 + 1, 4 = 2 * 2]),
Result =:= Formula).
\end{code}](img105.png)
Dr. Richard Botting
2001-12-12