% member(Element, List) holds if
%     Element is a member of the list List.

member(Element, [Element|_List]).
member(Element, [_Other|List]) :-
    member(Element, List).
