% member(E,L) <=> E ist in der Liste L enthalten

member(E,[E|_]).
% member(E,[_,E|_]).
% member(E,[_,_,E|_]).
% ...

% Wenn E in einer Liste L ist, dann ist es auch in der Liste [...|L]:
member(E,[_|L]) :- member(E,L).
