
twice_in_row([A,A|_]).
twice_in_row([_|E]) :- twice_in_row(E).

mem(E, [E|_]).
mem(E, [_|L]) :- mem(E, L).

m(E, [X|L]) :- E=X ; m(E,L).
