Prolog中的DCG解析器用于逻辑语句

Question

给出以下语法：

BoolExpr ::= BoolConj { "or" BoolConj }.
BoolConj ::= BoolLit { "and" BoolLit }.
BoolLit ::= [ "not" ] BoolPosLit.
BoolPosLit ::= "true"|  "false"|  "(" BoolExpr ")".

我想为上面的语法编写一个DCG解析器。解析器只需在给定输入上接受（成功）或拒绝（失败），

这就是我所拥有的：

 boolepxr([or(O)|BoolExpr]) -->
    ['or'],
    boolconj(O),
    boolexpr(BoolExpr).

boolconj([and(A)|BoolConj]) -->
    ['and'],
    boollit(A),
    boolconj(BoolConj).

boollit([not(N)|BoolLit]) -->
    ['not'],
    boolps(N).

boolps([true(B)|BoolPs]) -->
    ['true'],
    boolexpr(B),
    boolps(BoolPS).

 boolps([false(B)|BoolPs]) -->
    ['false'],
    boolexpr(B),
    boolps(BoolPS).

然而，当我运行这个程序时，我没有得到适当的输出。

Answer 1

因为DCG必须仅识别输入，所以我简化了：

boolexpr --> boolconj, [or], boolexpr.
boolexpr --> boolconj.

boolconj --> boollit, [and], boolconj.
boolconj --> boollit.

boollit --> [not], boolps.
boollit --> boolps.

boolps --> [true].
boolps --> [false].
boolps --> ['('], boolexpr, [')'].

产量

?- phrase(boolexpr, [true,or,false,and,not,true]).
true ;
false.