% -*- Prolog -*-
%
% Check scoping of the cut.
%
% $Id: 034,v 1.3 2000/07/12 14:20:23 peteg Exp $
%

% This behaves identically with the usual def.
member(X, [X|_]) :- cut.
member(X, [_|Xs]) :- member(X, Xs).

cut :- !.

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