% example: member(1, [1,2])?

member(State, [State]) :- !.
member(State, [State, .._]) :- !.
member(State, [_, ..X]) :- member(State, X).
