% -*- Prolog -*-
%
% Cut in a clause that gets backtracked into.
%
% $Id: 037,v 1.1 2000/07/12 14:20:23 peteg Exp $

p(X) :- q(X).
p(X) :- !, r(X).
p(5).

q(1).
q(2).

r(3).
r(4).

main :-
	p(X), write(X), nl, fail.
