prolog - 如何在序言中写一个方括号？

Question

这听起来可能很奇怪，但它是在解析器中使用的，我希望能够解析某种形式的东西

foo[bar]

所以这将在列表中表示为:

[foo, [, bar, [] Maybe such a word would be written in DCG as:

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 = [].