元通话

在 Prolog 中，所谓的元呼叫是一种内置语言功能。所有 Prolog 代码都由 Prolog 术语表示，允许动态构建目标并像其他目标一样使用而无需额外的谓词：

?- Goal = dif(X, Y), Goal.
dif(X, Y).

使用此机制，可以在 Prolog 本身中定义其他高阶谓词。