p(X) :- p(X).