prolog - プロローグの失敗の統合

Question

これが失敗する理由を誰か教えてください。

f(X,X) = f(a,b).

X は最初に a にインスタンス化され、次に削除され、次に b に変換され、X = b になるというのが私の仮定でした。試してみると、間違っていることがわかりますが、その理由はわかりません。

ありがとうございました。

Answer 1

統一は常に変数に一貫した意味を与えます。真になる X の値はありませんf(X,X) = f(a,b)。あなたが言ったなら

f(X) = f(a); f(X) = f(b).

そうすれば、期待どおりの結果が得られます。