prolog - プロローグ: ゴール p(t) の評価が終了する項 t と終了しない項は?

Question

次のロジック プログラムを考えてみましょう。

p(b) :- p(b).
p(X) :- r(b).
p(a) :- p(a).
r(Y).

目標 p(t) の評価が終了する項 t と終了しない項は?