DCG中的大括号{}

Question

我开始学习如何使用 DCG。我想知道花括号{...} 是用来做什么的？何时（何时不需要）需要它们？例如：

read_lines -->
  { read_line_to_codes(current_input, Codes) } ,
  (
    { Codes == end_of_file } -> []
  ;
    { atom_codes(Line, Codes) } ,
    [Line],
    read_lines
  ) .

针对此问题提供：Avoid linear cost of append/3 in Prolog

Answer 1

在 DCG 规则中，{} 用于封装 Prolog 目标，否则将被解释为非终结符。