p(1,2).
p(7,8).
p(9,10).
p(X,Y) :- q(X,Y).
p(5,Y) :- Y=6.
p(X,6) :- X=5.
q(7,8).