% Praedikate hoeherer Ordnung / generische Praedikate

% map_list(P,Xs,Ys) <=> P angewendet auf alle Paare aus Xs und Ys erfuellt
map_list(_,[]    ,[]).
map_list(P,[X|Xs],[Y|Ys]) :- call(P,X,Y), map_list(P,Xs,Ys).

% ?- map_list(is,[X,Y,Z],[1+2,3+4,5+6]).

% ?- maplist(is,[X,Y,Z],[1+2,3+4,5+6]).
