|Did you know ...||Search Documentation:|
:- use_module(library(apply)).(can be autoloaded)
maplist(P, [X11,...,X1n], ..., [Xm1,...,Xmn]) :- P(X11, ..., Xm1), ... P(X1n, ..., Xmn).
This family of predicates is deterministic iff Goal is
deterministic and List1 is a proper list, i.e., a list that
maplist(g(a), L)? Now will the arg from L be added as the first arg for the g/2 goal or the last...? (Yes, I can try it out, but I shouldn't have to!)