获取 Lambda 演算表达式中的谓词答案

【问题标题】：Obtaining the predicates in a Lambda Calculus Expression获取 Lambda 演算表达式中的谓词
【发布时间】：2015-03-26 06:41:50
【问题描述】：

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

给定 lambda 表达式

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

我知道比赛和跑步是谓词。

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

【问题讨论】：

如果您可以将“任何给定代码”提炼成语法，您可以查看pyparsing。
我最初从 FCFG 语法中得到了我的 lambda 演算表达式，那会有帮助吗？

标签： python nlp nltk lambda-calculus

【解决方案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)

【讨论】：