比较Prolog中的两个谓词

Question

首先，感谢您的帮助。 我正在学习Prolog，发现一个问题。

这可能是一个愚蠢的问题，但我仍然没有弄清楚。

在Prolog中，

go(1) = go(1)

将返回true。

go(1) = go(2)

将返回false。

但是当我尝试

not(go(1) = go(2))

它还返回false，如下所示：

[trace]  ?- not(go(1) = go(2)).
Call: (8) not(go(1)=go(2)) ? creep
Fail: (8) not(go(1)=go(2)) ? creep
false.

有人可以帮我解释一下吗？非常感谢！