元逻辑谓词

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

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

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

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

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

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