元邏輯謂詞

預測例項化的原因稱為元邏輯。例子是：

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

這些謂詞超出了純單調邏輯程式的範疇，因為它們破壞了諸如連詞交換的屬性。

其他具有元邏輯性的謂詞包括：

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

這些謂詞原則上可以在一階邏輯中建模，但需要無限數量的子句。