SWI-Prolog 动态/1 与动态/2

Question

我正在自学 Prolog，并获得了一些示例。

其中一个使用dynamic/1 内置指令：

:- dynamic(items/1).

我明白动态的概念。那可以通过断言修改谓词，并收回谓词。

但是，该程序在某些地方也使用了以下内容：

:- dynamic(location/2).

这两个/1和/2有什么区别，它们也是一个/3 .... /n吗？

Answer 1

在 Prolog 中，谓词由它们的名称（或函子）和它们的参数数量（或数量）来标识。因此，items/1 表示具有函子items 和arity 1 的谓词，而location/2 表示具有函子location 和arity 2 的谓词。具有相同函子但元数不同的两个谓词是不同的谓词。