использование LEPL для анализа логического поискового запроса - PullRequest
4 голосов
/ 29 июля 2011

Я пытаюсь написать грамматику 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']]

Как я могу исправить это, чтобы получить анализ, который я хочу? Я думаю, это исправило бы это, если бы я мог сказать «все, что угодно» становится tuple, а «все что угодно» становится list.

1 Ответ

5 голосов
/ 29 июля 2011

Редактировать: избавился от sloooooow левой рекурсии благодаря этой статье и добавлены параметры ключевых слов.

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'}]
...