我使用一个代码，并在其中尝试使用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
================================================== =============================
最佳答案
使用nltk.Prover9对象的方法config_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 系统使用类似的东西。
关于python - 无法打开prover9/Mace4，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/28006405/