prolog - 处理序言中的错误

Question

/**************************
Assignment Statment Module
**************************/
assgnStmnt(Clist) :-
        Clist = [H|T], id(H), conc(Exp, [';'|AnotherStmnt], T), Exp = [Op|Rem], Op = '=', expr(Rem), assgnStmnt(AnotherStmnt),!
        ;
        Clist = [], !.

此代码用于解析编译器中的赋值语句。但是我需要向用户输出他的代码中的语法错误在哪里。

比如：如果他输入：x = x + 1，我想输出预期的';' 未找到。

我怎样才能做到这一点 ？？？

Answer 1

从技术上讲取决于您的语法，但如果我们假设您已经知道错误产生的位置，您可以这样编码：

assgnStmnt(Clist) :-
    Clist = [H|T],
    id(H),
    conc(Exp, [StmntSep|AnotherStmnt], T),
    Exp = [Op|Rem],
    Op = '=',
    expr(Rem),
    expected(StmntSep, ';'), % the right position depends on grammar
    assgnStmnt(AnotherStmnt),
    !
    ; Clist = [].

expected(Token, Token) :- !.
expected(Wrong, Token) :-
    format('expected ~w, found ~w~n', [Token, Wrong]),
    fail. % fail here depends on error recovery strategy

测试：

?- assgnStmnt([x,=,x+1,';',x,=,x+1,';']).
true.

?- assgnStmnt([x,=,x+1,';',x,=,x+1]).
expected ;, found x
expected ;, found =
expected ;, found x+1
false.