 p(1). 

- p(?X) | r(?X).

-r(1).


