p(1,2). p(2,3).
p(X,Z) :- p(X,Y;;Y,Z).
q(X,Z) :- q(X,Y;Y,Z).