% Praedikat member(E,L): wahr, falls E in Liste L enthalten
member(E,[E|_]).
member(E,[_|R]) :- member(E,R).
