内置谓词prolog

所以我想知道下面哪一个被认为是prolog中的内置谓词

• ，

• |

• 是

• +

---

问题是我需要在不使用任何内置谓词的情况下编写一些prolog代码。

Ulrich Neumerkel在这里维护一个包含ISO谓词和可计算函数的列表：

但通常，控制结构7.8并不真正被视为BIP：

1 true/0. 2 fail/0. 3 call/1. 4 !/0. 5 (',')/2. 6 (;)/2 – disjunction. 
7 (->)/2. 8 (;)/2 – if-then-else. 9 catch/3. 10 throw/1. 

这是因为它们削减了透明度，因此通常无法实施 ISO Prolog本身。例如，序言子句，例如：

and(A,B) :- A, B.

仅近似于连接的作用，因为它无法正确处理切割。所以这些（元）谓词构成了核心

所以如果你只使用SET 7.8，你可以考虑自己不用BIPS。如果您不使用call/1/0、（>）/2、catch/3和throw/1您甚至只在使用

这并不是说在Horn子句、许多谜语和noSQL应用程序中什么都做不了，例如，您可以定义Peano加法：

add(n, X, X).
add(s(X), Y, s(Z)) :- add(X, Y, Z).

以下是2+2=4的运行示例：

?- add(s(s(n)), s(s(n)), X).
X = s(s(s(s(n)))).

---

只有1/2。但是请你的教授确认你不能使用数字这是一个荒谬的要求。如果没有内置谓词，就无法真正执行任何操作。你确定你的指导老师的意思不是“不要使用

库（列表）

中的谓词”之类的吗？我相信这是“只使用内置谓词”。。