% map_list(P,Xs,Ys) satisfied if all elements of Xs and Ys are pairwise
% related by P.
map_list(P,[],[]).
map_list(P,[X|Xs],[Y|Ys]) :- call(P,X,Y), map_list(P,Xs,Ys).
