The following code checks if an element is a member of a given list

CODE
member(X, [X|Y]).
member(X, [H|L]) :- member(X, L).

RESULT
?- member(b, [a,b,c]).
Yes