Prolog X = f（X）。 （X）

Question

我知道我錯過了一些非常簡單的東西，但是這讓我很困擾。 我想測試的Prolog將如何處理以下

X=f(X). 
    X=Z:- X==Y,Y==Z. 
?- X==f(f(X)). 

但顯然我錯過了爲什？-X = F（X）非常基本的。返回「false」。 請你指出我錯在哪裏。

謝謝！

Answer 1

使用=/2的統一：

?- X = X. 
true. 

?- X = f(X). 
X = f(X). 

?- f(f(X)) = X. 
X = f(f(X)). 

?- X = Y, X = Z. 
X = Y, Y = Z. 

只要你有一個自由變量在統一的一面，它一定會成功。

等效與==/2不同。它只成功，如果兩邊都是相同的變量或相同的地值：

?- X == X. 
true. 

?- Y == Z. 
false. 

?- X = Y, X = Z, Y == Z. 
X = Y, Y = Z. 

?- X == 3. 
false. 

?- X = 3, X == 3. 
X = 3.