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

not(X) :- call(X), !, fail.
not(X).

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

not_member(X, Xs) :- not(member(X, Xs)).

main :-
	not_member(f, [a,b,c,d,e]), write(a), nl, fail.
