额外的目标

额外目标允许向 DCG 子句添加处理，例如，列表元素必须满足的条件。

在 DCG 子句结尾处的花括号之间观察到额外的目标。

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

用法：

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

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