q(X) :- p(X, Y).