member1(X,[X|T]).
member1(X,[Y|T]):-member1(X,T).

member2(X,[X|_]).
member2(X,[_|T]):-member2(X,T).

member3(X,[X|_T]).
member3(X,[_Y|T]):-member3(X,T).
