% PCL1 WS2004/2005 Uebungen 7 % 1) % Abbildung bestimmter Terme. map(du, ich). map(bist, bin). map(ich, du). map(bin, bist). map(seist, sei). map(sei, seist). % Wenn es keiner der obigen Terme ist, ist % das Abbild gleich dem Original. map(X, X). % Die Abbildung einer leeren Liste ergibt % eine leere Liste. papagei([], []). % Die Abbildung eines Terms, gefolgt von einer Rest-Liste % ist die Abbildung des Terms, gefolgt von der Abbildung % der Rest-Liste. papagei([E|Rest], [AbbE|AbbRest]) :- map(E, AbbE), papagei(Rest, AbbRest). % 3) % Englische Nomen n(boy). n(deck). % 4) member(X, [X|Rest]). member(X, [Y|Rest]) :- member(X, Rest).