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

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

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