Как написать квадратную скобку в прологе?

Question

Это может показаться странным, но он используется в парсер, я хочу, чтобы иметь возможность разобрать что-то в виде

Foo [бар]

Так что это будет представлено в виде списка как:

[Foo, [, бар, [] Может быть, такое слово будет написано в ВСО, как:

x --> id [[] arg []] 

Проблема в том, что квадратная скобка является зарезервированным символом, поэтому как я могу представить это в прологе?

Answer 1

Можете ли вы не обрабатывать свои квадратные скобки как атомы (т. Е. '[' и ']'), а также все остальное?

Как насчет для например:

label1(T) --> id(X), label2(Y), {T =.. [X, Y]}. 
label2(Y) --> ['['], innerexp(Y), [']']. 
id(X) --> [X]. 
innerexp(Y) --> [Y]. 

Исполнение:

?- phrase(label1(T), [foo, '[', bar, ']'], Rem). 
T = foo(bar), 
Rem = []. 

Answer 2

"[" (в кавычках) делают трюк?