prolog - 如何处理[a,b|c]格式的列表？

Question

我为 Clojure 语言的子集创建了一个简单的解析器。由于某种原因，它返回一个格式为 [a,b,c|d] 的列表，而不是格式 [a,b,c,d] 的列表。 Morover member(X, List) 无法正确处理这种格式的列表，即

member(X, [a,b,c|d]).
X = a ;
X = b ;
X = c.

问题是我应该如何改进我的代码来解决这个问题并以通常的格式获取列表？或者也许有一种方法可以转换 [a,b,c|d] -> [a,b,c,d] ？

您可以调用，例如

main.
[(concat x) (lambda x (inc (inc x)))]

并得到:

expr([expr([expr(at(id([c,o,n,c,a,t])))|expr(at(id([x])))])|expr([expr(at(id([l,a,m,b,d,a]))),expr(at(id([x])))|expr([expr(at(id([i,n,c])))|expr([expr(at(id([i,n,c])))|expr(at(id([x])))])])])])

代码:

mydelimiter --> delimiter.
mydelimiter --> delimiter, mydelimiter.
delimiter --> [','].
delimiter --> ['\n'].
delimiter --> ['\t'].
delimiter --> ['\s'].

specsymbol('+') --> ['+'].
specsymbol('-') --> ['-'].
specsymbol('>') --> ['>'].
specsymbol('<') --> ['<'].
specsymbol('=') --> ['='].
specsymbol('*') --> ['*'].
specsymbol('_') --> ['_'].

snum(0) --> ['0'].
snum(1) --> ['1'].
snum(2) --> ['2'].
snum(3) --> ['3'].
snum(4) --> ['4'].
snum(5) --> ['5'].
snum(6) --> ['6'].
snum(7) --> ['7'].
snum(8) --> ['8'].
snum(9) --> ['9'].
numb([A]) --> snum(A).
numb([A|B]) --> snum(A), numb(B).
mynumber(num(X)) --> numb(X).

mystring(str([])) --> quotesymbol, quotesymbol.
mystring(str(S)) --> quotesymbol, anychars(S), quotesymbol.
quotesymbol --> ['\"'].
anychar(A) --> [A], {A \== '\"'}.
anychars([A]) --> anychar(A).
anychars([A|B]) --> anychar(A), anychars(B).

identifier(id(I)) --> id_start_spec(I); id_start_letter(I).
letter(L) --> [L], {is_alpha(L)}.
id_start_letter([L]) --> letter(L).
id_start_letter([L|I]) --> letter(L), ids_l(I).
ids_l([I]) --> letter(I); snum(I); specsymbol(I).
ids_l([I|Is]) --> (letter(I); snum(I); specsymbol(I)), ids_l(Is).
id_start_spec([S]) --> specsymbol(S).
id_start_spec([S|I]) --> specsymbol(S), ids_s(I).
ids_s([I]) --> snum(I); specsymbol(I).
ids_s([I|Is]) --> (snum(I); specsymbol(I)), ids_s(Is).

keyword(kw([C|K])) --> mycolonsymbol(C), id_start_letter(K).
mycolonsymbol(':') --> [':'].

myatom(at(A)) --> mynumber(A); mystring(A); identifier(A); keyword(A).

expression(expr(S)) --> myatom(S).
expression(expr(S)) --> r_br_expression(S).
expression(expr(S)) --> s_br_expression(S).
expression(expr(S)) --> f_br_expression(S).
r_br_expression(S) --> r_openbracketsymbol, expressions(S), r_closedbracketsymbol.
expressions(S) --> expression(S).
expressions([S|SS]) --> expression(S), mydelimiter, expressions(SS).
r_openbracketsymbol --> ['('].
r_closedbracketsymbol --> [')'].
s_br_expression(S) --> s_openbracketsymbol, expressions(S), s_closedbracketsymbol.
s_openbracketsymbol --> ['['].
s_closedbracketsymbol --> [']'].
f_br_expression(S) --> f_openbracketsymbol, expressions(S), f_closedbracketsymbol.
f_openbracketsymbol --> ['{'].
f_closedbracketsymbol --> ['}'].

main :-
    read_string(user_input, "\n", "", _, StrIn),
    atom_chars(StrIn, L),
    phrase(expression(T), L),
    writeln(T),
    !.

Answer 1

首先，通过在代码前面设置以下指令来使用更好的可读语法:

:- set_prolog_flag(double_quotes, chars).

现在您可以编写更紧凑的 "}" 来代替 ['}']，而不是 ['\s'] > 标准""。或者用 specsymbol(+) --> "+". 代替。

其次，定义letter//1和anychar//1，如下所示:

letter(L) --> [L], {char_type(L,alpha)}.

anychar(A) --> [A], {dif(A, '\"')}.

有了这个，您就可以开始调试，最好使用较小的测试用例。

另请注意，Prolog 有一个顶级 ( prolog-toplevel )，因此根本不需要定义 main 。相反，您可以直接键入查询，或者更好的是，首先考虑更简单的情况:

?- phrase(expression(T),"(inc x)").
   T = expr([expr(at(id("inc")))|expr(at(id("x")))]).
?- phrase(expression(T),"(x)").
   T = expr(expr(at(id("x")))).

因此，在第一种情况下，存在部分列表的奇怪实例，而在第二种情况下，根本没有列表。相反，两者都应该是(格式良好的)列表。罪魁祸首是表达式//1，它应该是:

expressions([S]) --> expression(S).expressions([S|Ss]) -->   {Ss = [_|_]},   % redundant goal for termination   expression(S), mydelimiter, expressions(Ss).

Note that also

?- phrase(expression(T),"(inc,,,x)").

成功了，但我不确定这是有意的。