% -*- Prolog -*-
% $Id: 010,v 1.3 2000/07/23 05:38:37 peteg Exp $

member(X, [X|_]).
member(X, [_|Xs]) :- member(X, Xs).

main :-
	member(a, [a,b,c]), write("a"), nl, fail.
