member(X,Y):-Y=[X|_].
member(X,Y):-Y=[_|T],member(X,T).