元逻辑谓词

预测实例化的原因称为元逻辑。例子是：

• var/1
• ground/1
• integer/1

这些谓词超出了纯单调逻辑程序的范畴，因为它们破坏了诸如连词交换的属性。

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

• arg/3
• functor/3
• (=..)/2

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