Prolog - 如何比较来自两个或多个不同谓词的结果？

Question

例如，

第一个是这样的：

sum(X,Y,Result):- Result is X + Y.

第二个是：

times(X,Y,R):- R is X * Y.

我什至可以这样定义它们吗？ 另外，如果我想写一个比较两个结果的值的东西，我该怎么办？当我尝试做类似sum(X,Y,R1) > times(X,Y,R2) 的事情时，它不允许我这样做。我想写一个程序，如果R1 > R2 是真的。在这种情况下，我想得到X 和Y 的总和以及X 和Y 的乘积，并找出哪个值更大。我怎么能这样做？

Answer 1

您似乎认为谓词会返回一些东西。但是，谓词只能是true（条件满足，或者变量可以是unfied 使得谓词我们满足），或者false（谓词不满足，统一不能满足）。如果您以错误的方式调用谓词，谓词也会出错。但基本上就是这样：true、false（和错误）。

所以写成sum(X,Y,R1) > times(X,Y,R2) 是没有意义的，因为sum/3 和times/3 都不会返回。

Prolog 的想法是统一变量。如果你写sum(1,4,X)，那么在谓词调用之后，X 将与5 统一。所以你能做的就是写：

sum(X,Y,R1), times(X,Y,R2), R1 > R2.

但是，这只有在 X 和 Y 首先被实例化时才有效，因为 is/2 要求右侧的表达式（完全）接地。