% I want a simple set of Prolog rules to test whether a
%    thing is in a list.

% note that a thing is in a list if
%    it is the first thing in the list or
%    it is in the rest of the list

mymember(X, [X|_]).
mymember(X, [_|T]) :- mymember(X, T).