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

p(X) :- q(X).
p(X) :- r(X).
p(6).

q(1) :- !.
q(2).

r(3).
r(4) :- !.
r(5).

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