Backtracking in Prolog

Question

I am very new to Prolog and have a question about backtracking

I am given facts

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

q(X, Y):- s(X), t(Y).
r(X, Y):-