member (X, [])    -> false;
member (X, [X|_]) -> true;
member (X, [_|T]) -> member(X, T).