假设我们有两个变量 X 和 Y。 X 为 53，Y 为 52。我想要做的是通过将 1 添加到 Y 来比较它们，这样它将是 53 - 因此 X 将等于 Y + 1。
我试图通过对 Y 变量简单地使用等于运算符和加法来做到这一点，如下所示:
X == Y + 1
尽管这看起来很简单，但结果是 false。我错过了什么？
最佳答案
?- X = 50+2, Y = 50+1, X =:= Y + 1.
如您所见，( =:= )/2 评估双方， (>)/2 等也是如此
关于prolog - Prolog中的算术比较，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32737396/