prolog - 如何定义此谓词以使其不会永远运行

Question

我需要定义一个谓词：

?- X = succ(X), nu(X).
false.

我该怎么做？似乎它不会返回任何东西，只会永远运行。

标签： prolog

Answer 1

你可以这样尝试：

nu(0).
nu(S) :-
    acyclic_term(S),
    S = succ(X),
    nu(X).

acyclic_term/1 调用是第一次查询失败所必需的。