Получение предикатов в выражении исчисления лямбда

Question

Каким будет код для получения предиката в заданном выражении лямбда-исчисления.

Учитывая лямбда-выражения

(race(x) & run(I2,x)) 

Я знаю, что гонки и запустить предикаты.

Как извлечь предикаты в коде или в любом коде?

Answer 1

Если вы уже используете NLTK, вы можете повторно использовать их синтаксический анализатор (предполагая, что ваши выражения являются строками):

import nltk 

read_expr = nltk.sem.Expression.fromstring 

teststr = '(race(x) & run(I2,x))' 

parsed = read_expr(teststr) 
for p in parsed.predicates(): 
    print(p)