Prolog元逻辑谓词

示例

关于实例化原因的谓词称为元逻辑。例如：

• var/1

• ground/1

• integer/1

这些谓词超出了纯单调逻辑程序的范围，因为它们破坏了像的可交换性之类的属性。

其他具有元逻辑的谓词包括：

• arg/3

• functor/3

• (=..)/2

这些谓词原则上可以在一阶逻辑中建模，但需要无限数量的子句。