3

我在 Prolog 中编写了解析器。我还没说完。它是代码的一部分。下一步是杀死字符串中的所有空格。

parse(Source, Tree) :-  kill_whitespace(Source, CleanInput), % remove whitespaces
                        actual_parse(CleanInput, Tree).

actual_parse(CleanInput, Tree):- phrase(expr(Tree),CleanInput).

expr(Ast) --> term(Ast1), expr_(Ast1,Ast).
expr_(Acc,Ast) --> " + ", !, term(Ast2), expr_(plus(Acc,Ast2), Ast).
expr_(Acc,Ast) --> " - ", !, term(Ast2), expr_(minus(Acc,Ast2), Ast).
expr_(Acc,Acc) --> [].

term(Ast) --> factor(Ast1), term_(Ast1,Ast).
term_(Acc,Ast) --> " * ", !, factor(Ast2), term_(mul(Acc,Ast2),Ast).
term_(Acc,Ast) --> " ** ", !, factor(Ast2), term_(pol(Acc,Ast2),Ast).
term_(Acc,Acc) --> [].

factor(Ast) --> "(", !, expr(Ast), ")".
factor(D)--> [X], { X >= 48 , X=<57 , D is X-48 }.
factor(id(N,E)) --> "x", factor(N), ":=", expr(E), ";".

例如：

?- parse("x2:=4",T).
    T = id(2, 4)

真的！但是，当我写：

?- parse("x2 := 4",T).
false.

它也必须是真的，它应该是一个过滤器：kill_whitespace(Source, CleanInput).

不同的解决方案效率低下。我怎样才能做到这一点？

4

3 回答 3

1

好吧，简单的方法是解析字符串并使用过滤谓词删除空格/只保留非空格。但这需要第二次解析。

解决它的另一种方法是使用您自己的谓词来“获取”字符，
即foo --> "a".变成foo --> get("a").whereget//1是这样的：

get(X) --> [X].
get(X) --> whitespace, get(X).
于 2013-01-16T19:31:35.537 回答
1

我通常会在可能出现空间的地方放置一个“跳过”非终端。这种跳过通常会丢弃评论以及任何其他“无趣”的文本。

为了尽可能简单：

% discard any number of spaces
s --> "" ; " ", s.

我更喜欢一个短名称，以保持语法简洁。还要丢弃换行符等：

s --> "" ; (" ";"\t";"\n";"\r"), s.

一个“风格”说明：而不是

parse(Source, Tree) :-
   expr(Tree, Source, []).

你可以考虑

parse(Source, Tree) :-
   phrase(expr(Tree), Source).
于 2013-01-16T20:28:20.780 回答
0

编写解析器的常用方法是分两个阶段编写：

第一阶段进行词法分析并产生一个标记流。此时丢弃对解析不重要的空格和其他“标记”（例如，注释）。

第二阶段自己进行解析，检查词法分析器生成的标记列表。

于 2013-01-17T19:04:06.947 回答