问为什么Prolog不能识别这些内置的代码？

EN

round/1 floor/1和不是内置谓词， 和是。

Prolog使用谓词。这意味着谓词只能是true或false (或error)。此外，它还可以统一变量(进一步)。

因此，计算floor为1.6的唯一方法是使用两个变量，并将第二个变量设为第一个变量的底数。例如：

?- round(1.6,X).
X = 2.

?- floor(1.6,X).
X = 1.

因为以这种方式编写谓词有时会很麻烦。Prolog定义了一些函子，这些函子可以用is/2谓词来解释。round/1和floor/1是在is/2谓词中具有语义的函数器：

?- X is round(1.6).
X = 2.

?- X is floor(1.6).
X = 1.

is还可以使用更高级的表达式树，例如：

?- X is floor(0.4+0.4+0.4).
X = 1.

但请注意，is实际上也是一个谓词。我们已经写过：

is(X, floor(0.4+0.4+0.4)).

在幕后，is/2谓词将调用floor/2。但是，请注意，您不能以这种方式简单地注入您自己的谓词。您不能简单地编写is(X, foo(2))并期望Prolog调用foo(2.X)。