Did you know ... Search Documentation:
Predicate maplist/2
Availability::- use_module(library(apply)).(can be autoloaded)
Sourcemaplist(:Goal, ?List1)
maplist(:Goal, ?List1, ?List2)
maplist(:Goal, ?List1, ?List2, ?List3)
maplist(:Goal, ?List1, ?List2, ?List3, ?List4)
True if Goal is successfully applied on all matching elements of the list. The maplist family of predicates is defined as: 
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 ends in [].

Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
Vijay Saraswat said (2016-08-05T00:28:19):0 upvotes 0 0 downvotes
Picture of user Vijay Saraswat.
uh..what if you wanted to pass some arguments to Goal, i.e. 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!)