db(r/1).
db(s/1).

p(X) :- q(a,X).
q(a,X) :- s(X).
q(b,X) :- r(X).

:- p(X).