foldl/6

Availability::- use_module(library(apply)).(can be autoloaded)

Fold a list, using arguments of the list as left argument. The foldl family of predicates is defined by:

foldl(P, [X11,...,X1n], ..., [Xm1,...,Xmn], V0, Vn) :-
      P(X11, ..., Xm1, V0, V1),
      ...
      P(X1n, ..., Xmn, V', Vn).