member(A, [A | _]).

member(A, [_ | L]) :- member(A, L).