фигурные скобки {} в 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, в противном случае те, будет интерпретироваться как не-терминалы.