額外的目標

額外目標允許向 DCG 子句新增處理，例如，列表元素必須滿足的條件。

在 DCG 子句結尾處的花括號之間觀察到額外的目標。

% DCG clause requiring an integer
int --> [X], {integer(X)}.

用法：

?- phrase(int, [3]).
true.

?- phrase(int, [a]).
false.