无法打开prover9 / Mace4

Question

我使用了代码并且在其中我尝试使用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

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

Answer 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系统使用类似的东西。