Prologの単一化について

質問

（１）p([X|Y])　と　p([a])

（２）p(a, [b, c], X) 　と　p(Y1, [Y2|Y3], Y3)

（３）?-p([a, b, c], X).
p([X|Y], N) :- p(Y, N1), N is N1+1 .

（４）?-p([a, b, c], [d, e], X) .
p([X|A], B, [X|C]) :- p(A, B, C).

（５）?-p([a, b, c], [], X).
p([X|R], Y, Z) :- p(R, [X|Y], Z)
の述語についてですが、それぞれ単一化すると各変数はどうなるでしょうか。
（３）～（５）については、質問と規則の頭部との単一化です。
どの変数も単一化の前に値を持っていないとします。

教えてください。

回答No.1

Tacosan

少なくとも (1) と (2) に関しては単純にユニフィケーションするだけだから人に聞くまでもないと思うんだけど....

どこがわからないんでしょうか?