q(a).
q(b).

r(1).
r(2).
r(3).

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