% -*- Prolog -*-
%
% not/1, cut in the first clause.
%
% $Id: 036,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).

test :-	not(member(a, [a,b,c,d,e])), !, write("failed"), nl.
test :- write("succeeded"), nl.

main :- test, fail.
