Prologの単一化について
(1)p([X|Y]) と p([a])
(2)p(a, [b, c], X) と p(Y1, [Y2|Y3], Y3)
(3)?-p([a, b, c], X).
p([X|Y], N) :- p(Y, N1), N is N1+1 .
(4)?-p([a, b, c], [d, e], X) .
p([X|A], B, [X|C]) :- p(A, B, C).
(5)?-p([a, b, c], [], X).
p([X|R], Y, Z) :- p(R, [X|Y], Z)
の述語についてですが、それぞれ単一化すると各変数はどうなるでしょうか。
(3)~(5)については、質問と規則の頭部との単一化です。
どの変数も単一化の前に値を持っていないとします。
教えてください。
お礼
ご返事が遅れて申し訳ありません お陰様で助かりました。