Prolog Meta-call 元通话

示例

在Prolog中，所谓的meta-call是内置的语言功能。所有Prolog代码均以Prolog术语表示，从而可以动态构建目标并像其他目标一样使用它们，而无需其他谓词：

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

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