p(a).
q(b).
p(X) :- p(Y).
goal :- p(X), q(X).