相关疑难解决方法(0)

有人可以解释Prolog中==和=运营商之间的区别吗？我知道这X = Y意味着X与Y统一并且如果X已经与Y统一或者可以与之结合,则为真,但我不明白这是如何不同的==.

跟进:那(见接受的答案)是有道理的.还有一个问题是,是否存在X \= Y真实且X \== Y错误的情况(反之亦然)？也就是说,X \= Y测试它们是否无法统一或者它们目前是否统一？