python - 获取 Lambda 演算表达式中的谓词

Question

获取给定 lambda 演算表达式中的谓词的代码是什么。

给定 lambda 表达式

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

我知道 race 和 run 是谓词。

如何提取代码或任何给定代码中的谓词？

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)