鸿 网 互 联 www.68idc.cn

当前位置 : 服务器租用 > 编程语言开发 > python > >

【问题和解决】NLTK was unable to find the prover9 file!

来源:互联网 作者:佚名 时间:2013-05-18 16:41
其实,出现这个问题很简单。会有三种可能: 1、没有安装Prover9。你可以根据这个链接进行下载:~mccune/mace4/download/LADR1007B-win.zip(适合Windows系统),如果你的操作系统是别的,那么也有相对应的版本,可以去官网进行下载。 那么第2种可能,就是设

其实,出现这个问题很简单。会有三种可能:

1、没有安装Prover9。你可以根据这个链接进行下载:~mccune/mace4/download/LADR1007B-win.zip(适合Windows系统),如果你的操作系统是别的,那么也有相对应的版本,可以去官网进行下载。

那么第2种可能,网站空间香港服务器租用,就是设置不当,还是会造成无法找到Prover9这个错误。

根据Python的提示,“PROVER9HOME environment variable”我们需要自己设置一个系统变量来使程序继续进行,当然也可以使用Python自带的设置函数。这里只介绍系统变量的方法。

根据它的提示,我们需要添加这样一个变量,香港虚拟主机,PROVER9HOME。从源代码当中也可以看出这一点。

if path is None: searchpath = prover9_search os.environ: searchpath.insert(0, os.environ[])

网友评论
<