元通話

在 Prolog 中，所謂的元呼叫是一種內建語言功能。所有 Prolog 程式碼都由 Prolog 術語表示，允許動態構建目標並像其他目標一樣使用而無需額外的謂詞：

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

使用此機制，可以在 Prolog 本身中定義其他高階謂詞。