prolog - 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 目标，否则这些目标将被解释为非终结符。