This module defines meta-predicates that apply a predicate on all members of a list.
<, =
or >.
Pred must be deterministic.
foldl(P, [X11,...,X1n], ..., [Xm1,...,Xmn], V0, Vn) :-
P(X11, ..., Xm1, V0, V1),
...
P(X1n, ..., Xmn, V', Vn).
scanl(P, [X11,...,X1n], ..., [Xm1,...,Xmn], V0,
[V0,V1,...,Vn]) :-
P(X11, ..., Xmn, V0, V1),
...
P(X1n, ..., Xmn, V', Vn).