Prolog的模式匹配

Question

如果我有一個項h其是形式 a > b或 a 其中a和b是常數的（儘管不一定名爲a和b），如何檢查H的形式？

無論 H == (X > Y) 也不 H =:= (X > Y) 不起作用。

Answer 1

你所需要的就是統一=/2：

H = (X > Y) 

至於你已經試過2層的替代品，他們是不是你想要的：

@Term1 == @Term2

True如果Term1相當於Term2。變量只與共享變量相同。

---

+Expr1 =:= +Expr2

True如果表達式Expr1計算結果爲數字等於Expr2。

說明取自swi-prolog.org文檔，但由於這些是ISO功能，所以ISO-complient實現應該沒有任何區別。