如何在Prolog中调用内置谓词

在Prolog中调用内置谓词非常简单，只需在查询中使用内置谓词的名称即可。例如，要查询两个数字相加的结果，可以使用内置的加法谓词+，如下所示：

?- X is 2 + 3.

在这个例子中，is 是Prolog中的内置谓词，表示对等号右侧的表达式求值，并将结果赋给等号左侧的变量。+ 是内置的加法谓词，用于计算两个数的和。当你查询上述语句时，Prolog会返回X = 5，表示2加3的结果是5。

除了加法谓词外，Prolog还有其他内置的算术、比较和逻辑谓词，如减法-、乘法*、除法/、大于>、小于<、等于==、与/\、或\/等。要使用这些内置谓词，只需在查询中使用它们的名称，并按照正确的语法规则书写。