A little doubt on maplist/2

Help!
4

Rewrote the docs in the style of the more recent fold family as:

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

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(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 [].
4 Likes