问题描述
NLTK无法找到mace4文件！使用软件特定的配置参数或设置PROVER9环境变量.
NLTK was unable to find the mace4 file!Use software specific configuration paramaters or set the PROVER9 environment variable.
在以下位置搜索: -/usr/local/bin/prover9 -/usr/local/bin/prover9/bin -/usr/local/bin -/usr/bin -/usr/local/prover9 -/usr/local/share/prover9
Searched in: - /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软件的路径
use method config_prover9 for a nltk.Prover9 object to provide the path to the installed Prover9 software
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系统上使用类似的内容.
my prover9.exe is located on d:\prover9\bin (windows 7 system). use something similar for *ux systems.
这篇关于无法打开prover9/Mace4的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！