prolog 使用递归查找后继答案

【问题标题】：prolog using recursion to find successorprolog 使用递归查找后继
【发布时间】：2016-05-03 19:22:15
【问题描述】：

我现在正在尝试学习 prolog，并开始了递归主题。遇到了这个继任者的例子。

numeral(0).
numeral(succ(X)) :- numeral(X)

我确实了解它在理论上是如何工作的。它采用数字 X 并 succ 递增它。我的问题是， succ 是内置谓词吗？或者在这个例子中还有其他事情发生。示例取自 learnprolognow.org

然后我遇到了这个练习

pterm(null).
pterm(f0(X)) :- pterm(X).
pterm(f1(X)) :- pterm(X).

意思是表示二进制，即0是f0(null)，1是f1(null)，2(10)是f0(f1(null))，3(11)是f1(f1(null) ） ETC。该问题要求使用 pterms 定义谓词 (P1, P2) 以使 P2 成为 P1 的后继。有人可以为我更详细地解释这个问题吗？我现在看到的方式是，我必须遍历 P1 直到结束，然后将其与 P2 进行比较，但我不太确定语法。任何提示都会很有用

【问题讨论】：

succ/1 只是一个任意函数符号。更常见的是s/1。

标签： prolog successor-arithmetics

【解决方案1】：

succ 是复合词，不是内置谓词。

将这两个子句按顺序排列：

numeral(0).

这意味着 numeric(0) 为真，即 0 是一个数字

numeral(succ(X)) :- numeral(X)

这意味着如果你能证明 numeric(X) 为真，则 numeric(succ(X)) 为真。

如果您提出查询：

?- numeral(succ(succ(0)).

然后 prolog 会说 True：如果 numeric(succ(0)) 为真，则 numeric(succ(succ(0)) 为真。如果 numeric(0) 为真，则 numeric(succ(0)) 为真。并且我们知道 numeric(0) 是真的。

如果你问

?- numeral(X).

然后 prolog 将回复 X=0 然后 X=succ(0) 然后 X=succ(succ(0)) 等等，因为它找到满足您的条款的条款。

现在回答您的 pterm 问题...

首先考虑您正在构建的结构。它是一个二进制数，最外面的项是最低有效位。以下是一些真实情况的示例：

1: succ(f1(null),f0(f1(null))
2: succ(f0(f1(null)),f1(f1(null))
3: succ(f1(f1(null)),f0(f0(f1(null)))

如果您查看上面 2 和 3 的示例，那么您应该能够得出三个感兴趣的案例。作为提示，第一种情况是，如果项的形式为 f0(X)，则后继项为 f1(X)。

【讨论】：

【解决方案2】：

似乎检查顶级参数就足够了。只是一个提示

psucc(pterm(f0(X)), pterm(f1(f0(X)))).
...

【讨论】：