List Membership

member(X,L) 
member(b,[a,b,c]). 

One : 
member(X,[X | Tail]).

member(X, [Head | Tail]) :-
 member(X, Tail). 

Two :
member(X,[X|_]).

member(X, [_|Tail]) :-
 member(X,Tail).

member(2,[1,4,2,3,5]).

Ist Clause : No match
2nd Clause : Member if member of [4,2,3,5]
Ist Clause : Satisfied
Hence Answer = yes