- [semidet]
**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).