% member(b,[a,b,c]).
% gives true
% member(X,[a,b,c]). 
% lists all the members when using ;
member(Element, [Element | _]).
member(Element, [_|List]) :- member(Element, List).