我现在正在尝试学习序言，并且开始了递归主题。遇到了这个例子作为继任者。
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)) 等。该问题要求使用 pterms 定义谓词 (P1, P2) 以使 P2 成为 P1 的后继。有人可以为我更详细地解释这个问题吗？我现在看到的方式是，我必须遍历 P1 直到结束，然后将其与 P2 进行比较，但我不太确定语法。任何提示都会很有用
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)。
似乎检查顶级参数就足够了。只是一个提示
psucc(pterm(f0(X)), pterm(f1(f0(X)))).
...