和条件的无限递归错误？

Question

我的数据库中有以下事实和规则。

above(b, a).
above(c, b).
above(d, c).
above(X,Y):-above(X,Z),above(Z,Y).
below(X,Y):- above(Y,X).

这按预期的方式工作，因此如果我查询，

above(c,a).

返回值为True。 但是，当我尝试下面的查询期望为False时，

above(a,c).

我收到了消息

  Stack sizes: local: 0.2Gb, global: 16Kb, trail: 3Kb
  Stack depth: 2,839,964, last-call: 0%, Choice points: 12
  Probable infinite recursion (cycle):
    [2,839,964] above(a, _1394)
    [2,839,963] above(a, _1420)

我的理解是，由于没有原子X与above(a,X).关联above(a,X). ，而实际上该查询返回了False，则不会满足我的规则的第一个条件，这就足以得出该查询为False的结论。 事实并非如此。 如何设置规则，以使其在仍按预期情况工作时仍返回False？

Answer 1

因为above(a, X)与前三个子句（事实）不匹配，所以它输入了第四个子句above(X, Y) :- ... 在那之后，您要做的第一件事是above(X, Z) ，也就是说， above(a, Z) 。 然后，它尝试失败的前三个子句，然后再次到达above(X, Y) 。 这是无限递归的来源。

解决方案是通过重命名其中之一来将您的规则与事实分开，例如：

is_above(b, a).
is_above(c, b).
is_above(d, c).

above(X,Y):- is_above(X,Z), above(Z,Y).
below(X,Y):- above(Y,X).

这样，您就没有无限的递归， above递归必须先取得一些进步。