使用 PackratParser 在 Scala 中构建 boolean 逻辑解析器

Question

我正在尝试构建一个 Boolean 逻辑解析器，例如A == B AND C == D到 output 类似于And(Equals(A,B), Equals(C,D))

我的解析器有以下定义：

def program: Parser[Operator] = {
    phrase(operator)
}
def operator: PackratParser[Operator] = {
    leaf | node
}
def node: PackratParser[Operator] = {
    and | or 
}
def leaf: PackratParser[Operator] = {
    equal | greater | less
}
def and: PackratParser[Operator] = {
    (operator ~ ANDT() ~ operator) ^^ {
      case left ~ _ ~ right => And(left, right)}
}

我希望 map 的解析器能够program -> operator -> node -> and -> operator (left) -> leaf -> equal -> operator (right) -> leaf -> equal 。 这行不通。 但是，如果在上面的代码中我进行更改

def operatorWithParens: PackratParser[Operator] = {
    lparen ~> (operator | operatorWithParens) <~ rparen
}

改变and成为

def and: PackratParser[Operator] = {
    (operatorWithParens ~ ANDT() ~ operatorWithParens) ^^ {
      case left ~ _ ~ right => And(left, right)}
}

解析(A == B) AND (C == D)成功。

我无法理解为什么前者不起作用而后者起作用。 我应该如何更改我的代码才能解析A == B AND C == D ？

编辑：按照@Andrey Tyukin 的建议，我修改了语法以说明优先级

def program: Parser[Operator] = positioned {
    phrase(expr)
}
def expr: PackratParser[Operator] = positioned {
    (expr ~ ORT() ~ expr1) ^^ {
      case left ~ _ ~ right => Or(left, right)} | expr1
}
def expr1: PackratParser[Operator] = positioned {
    (expr1 ~ ANDT() ~ expr2) ^^ {
      case left ~ _ ~ right => And(left, right)} | expr2
}
def expr2: PackratParser[Operator] = positioned {
    (NOTT() ~ expr2) ^^ {case _ ~ opr => Not(opr)} | expr3
}
def expr3: PackratParser[Operator] = {
    lparen ~> (expr) <~ rparen | leaf
}

尽管PackratParser支持左递归语法，但我遇到了一个永远不会离开expr的无限循环

Answer 1

看起来有一条从operator到较短operator的路径：

operator -> node -> and -> (operator ~ somethingElse)

您似乎假设较短的operator (left)会以某种方式减少到leaf ，而最外面的operator会跳过leaf并选择node ，无论出于何种原因。 相反，它所做的只是扼杀它遇到的第一leaf 。

您可以尝试将node移动到leaf之前，这样整个operator在看到某事时就不会在第一个A上窒息。 像A == B AND...

否则，我建议将其重构为

• 析取
• 连词
• 原子公式

其中原子公式是

• 比较或
• 不可分割的带括号的顶级元素（在这种情况下，即带括号的析取）。

期望使用相当多的repSep 。