% Praedikat: elem(E,L) <=> E kommt in der Liste L vor

elem(E,[E|_]).
%elem(E,[_,E|_]).
%elem(E,[_,_,E|_]).
%elem(E,[_,_,_,E|_]).
%....
% Ist E im Rest einer Liste enthalten, dann auch in der Liste:
elem(E,[_|R]) :- elem(E,R).
