Prolog 中的数字递增

Question

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

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 中编程时，您必须考虑关系和递归，而不是可变状态。以下是在 Prolog 中递增的方法：

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

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