mem(A,[A|B]).
mem(A,[B,C|D]) :- mem(A,[C|D]).