prolog中如何写方括号？

Question

这可能听起来很奇怪，但它是在解析器中使用的，我希望能够解析以下形式的内容

foo[栏]

因此这将在列表中表示为：

[富，[，酒吧，[] 或许这样一句话用DCG会写成：

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

"[" （在引号中）可以解决问题吗？