【问题标题】：Unable to open up prover9/Mace4无法打开 prover9/Mace4
【发布时间】：2015-11-04 05:58:14
【问题描述】：

我使用了一个代码，并在其中尝试使用 Prover9，但由于某种原因，它不断弹出。我下载了这两个应用程序，但我不知道将它们放在哪里才能打开它。

NLTK 无法找到 mace4 文件！使用软件特定的配置参数或设置 PROVER9 环境变量。

搜索： - /usr/local/bin/prover9 - /usr/local/bin/prover9/bin - /usr/local/bin - /usr/bin - /usr/local/prover9 - /usr/local/share/prover9

================================================ ==============================

【问题讨论】：

标签： python nltk

【解决方案1】：

使用方法 config_prover9 为 nltk.Prover9 对象提供已安装 Prover9 软件的路径

read_expr = nltk.sem.Expression.fromstring
SnF = read_expr('SnF')
NotFnS = read_expr('-FnS')
R = read_expr('SnF -> -FnS')

prover = nltk.Prover9()
prover.config_prover9(r'd:/prover9/bin')
prover.prove(NotFnS, [SnF, R])

我的 prover9.exe 位于 d:\prover9\bin（windows 7 系统）。对 *ux 系统使用类似的东西。

【讨论】：