% -*- Prolog -*-
%
% Simple, non-determinate success.
%
% $Id: 002,v 1.2 2000/07/12 14:20:23 peteg Exp $

p(X) :- q(X), r(X), s(X).
q(2).
r(1).
r(X) :- s(X).
s(2).

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