mmember(X,[X|_]).
mmember(X,[_|L]) :- mmember(X,L).