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
LogicalCaptain said (2020-02-19T13:48:33):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

Explainer

Explainer including examples for the use of maplist/2 (and maplist/3 and maplist/4) here:

Examples for the Prolog predicate maplist/2

What if argument 2 is not a list?

If the List argument is not a list, then maplist fails instead of throwing.

?- maplist(atom,foo).
false.

Prolog predicates are often too lenient, leading to hard-to-find errors.

One would expect:

hardcore_maplist(Goal,List) :-
   is_list(List)
   -> maplist(Goal,List)
   ; type_error("expecting list on arg position 1",List).

Then

?- hardcore_maplist(atom,foo).
ERROR: Type error: `expecting list on arg position 1' expected, found `foo' (an atom)

?- hardcore_maplist(atom,[foo]).
true.

It would be advantageous to merge both of the above into a single, option-ed predicate

maplist_with_options(Goal,List,Options) :-
   option(hardcore(X),Options,false),
   ( X==false -> maplist(Goal,List)
   ; X==true  -> hardcore_maplist(Goal,List)
   ; domain_error("option for hardcore(.) should be true or false",X)).

hardcore_maplist(Goal,List) :-
   is_list(List)
   -> maplist(Goal,List)
   ; type_error("expecting list on arg position 1",List).

Then

?- maplist_with_options(integer,notalist,[hardcore(true)]).
ERROR: Type error: `expecting list on arg position 1' expected, found `notalist' (an atom)

?- maplist_with_options(integer,notalist,[hardcore(false)]).
false.

?- maplist_with_options(integer,notalist,[hardcore(foo)]).
ERROR: Domain error: `option for hardcore(.) should be true or false' expected, found `foo'

?- maplist_with_options(integer,[1,2,3],[hardcore(true)]).
true.

?- maplist_with_options(integer,[1,a,3],[hardcore(true)]).
false.

How about open lists

maplist/2 succeeds (non-deterministically) on open lists

Here it says "yes, this is a list of integer, but there may be another solution ... on second thoughts, there is not".

?- maplist(integer,[1,2,3,4|_]).
true ;
false.

More clearly:

?- maplist(integer,[1,2,3,4|X]).
X = [] ;
false.
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!)