Did you know ... Search Documentation:
Predicate maplist/4
 maplist(: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(G, [X_11, ..., X_1n],
           [X_21, ..., X_2n],
           ...,
           [X_m1, ..., X_mn]) :-
   call(G, X_11, ..., X_m1),
   call(G, X_12, ..., X_m2),
   ...
   call(G, X_1n, ..., X_mn).

This family of predicates is deterministic iff Goal is deterministic and List1 is a proper list, i.e., a list that ends in [].

Tags are associated to your profile if you are logged in
Tags: