使用LEPL解析布尔搜索查询

Question

我正在尝试写一个LEPL语法，用来描述一个布尔搜索语言。到目前为止，我写的内容是：

from lepl import *
text = String() | Word()
tail = ~Lookahead('AND') & ~Lookahead('OR') & text
with DroppedSpace():
    andClause = (tail & Lookahead('AND') & Drop('AND') & tail)[1:] > tuple
    orClause = (tail & Lookahead('OR') & Drop('OR') & tail)[1:] > list
    andOrText = (andClause & Lookahead('OR') & Drop('OR') & tail)[1:] > list
    orAndText = (orClause & Lookahead('AND') & Drop('AND') & tail)[1:] > tuple
    oredAnds = (andClause & Lookahead('OR') & Drop('OR') & andClause)[1:] > list
    andedOrs = (orClause & Lookahead('AND') & Drop('AND') & orClause)[1:] > tuple
    query = (oredAnds | andedOrs | orAndText | andOrText | orClause | andClause | text)[:]

query.parse('foo AND bar') # Works
query.parse('"bar none" OR foo') # Works
query.parse('foo AND "bar none" OR baz AND floo') # Works
query.parse('a AND b OR c AND d OR e') # Doesn't work

最后的parse结果是这样的：

[[('a', 'b'), ('c', 'd')], 'OR', 'e']

它应该是这样的：

[[('a', 'b'), ('c', 'd'), 'e']]

我该怎么做才能得到我想要的解析结果？我觉得如果我能说“任意 AND 任意”变成一个tuple，而“任意 OR 任意”变成一个list，就能解决这个问题。

Answer 1

编辑：感谢这篇文章，我解决了非常慢的左递归问题，并且添加了关键字参数。

from lepl import *
def ander(result):
    if len(result) == 2:
        return (result[0], result[1])
    return result[0]
text = String() | Word()
andClausePrime = Delayed()
label = text & Drop(':')
with DroppedSpace():
    parameter = label & text > (lambda r: {r[0]: r[1]})
    andClause = (parameter | text) & andClausePrime > ander
    andClausePrime += (Drop('AND') & (andClause | parameter | text) & andClausePrime)[:]
    expr = andClause | parameter | text
    query = expr & (Drop('OR') & expr)[:]

结果如下：

>>> query.parse('a AND b')
[('a', 'b')]
>>> query.parse('a AND b AND c')
[('a', ('b', 'c'))]
>>> query.parse('a AND b AND c AND d')
[('a', ('b', ('c', 'd')))]
>>> query.parse('a AND b AND c AND d OR e AND f')
[('a', ('b', ('c', 'd'))), ('e', 'f')]
>>> query.parse('a AND b AND c AND d OR e OR f')
[('a', ('b', ('c', 'd'))), 'e', 'f']
>>> query.parse('foo AND bar')
[('foo', 'bar')]
>>> query.parse('"bar none" OR foo')
['bar none', 'foo']
>>> query.parse('key:value AND "hey now":5 OR "what is":up')
[({'key': 'value'}, {'hey now': '5'}), {'what is': 'up'}]