% -*- Prolog -*-
% $Id: 012,v 1.3 2000/07/12 14:20:23 peteg Exp $

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

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