This module defines meta-predicates that apply a predicate on all members of a list.
call(Goal, Xi)
succeeds.
call(Goal, Xi)
fails.call(Pred, X) succeeds and
Excluded contains the remaining elements.call(Pred, Xi, Place),
where Place must be unified to one of <, =
or >.
Pred must be deterministic.call(Goal, ElemIn, _) fails are
omitted from ListOut. For example (using library(yall)):
?- convlist([X,Y]>>(integer(X), Y is X^2),
[3, 5, 4.4, 2], L).
L = [9, 25, 4].
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, ..., Xm1, V0, V1),
...
P(X1n, ..., Xmn, V', Vn).