其实，出现这个问题很简单。会有三种可能： 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[])