Prolog中的递增数字

Question

我正在尝试在 prolog 中实现增量，并编写了以下代码：

coordinate(X,Y,Z):- 
           X is 1, 
           Y is 1,
           Z is 1, 
           coordinate(X1,Y1,Z1), 
           X1 is X+1, 
           Y1 is Y+1, 
           Z1 is Z.

我也试过了：

coordinate(X,Y,Z):-
          X is 1,
          Y is 1,
          Z is 1,
          coordinate(X+1,Y+1,X+1).

这些都不起作用。谁能解释一下为什么？

Answer 1

这两个程序都不起作用，因为它们包含无限递归。您在其内部调用coordenate，没有停止条件。

然后，帮助您解决就地递增变量的原始问题：您不能在 Prolog 中这样做。一旦一个变量被绑定，你就不能改变它的绑定。在 Prolog 中编程时，您必须考虑relations 和递归，而不是可变状态。下面是如何在 Prolog 中递增：

incr(X, X1) :-
    X1 is X+1.

请注意，需要两个变量：一个用于保存原始值，一个用于增量值。要对该谓词执行的计算做任何有用的事情，两个变量都必须是谓词的参数。第一个作为输入参数，第二个作为输出参数（虽然这没有反映在语言中，它遵循is/2 的工作方式）。