member(E,[E|_]).
member(E,[_|T]) :- member(E,T).
