摘要：
其实，出现这个问题很简单。会有三种可能：1、没有安装Prover9。你可以根据这个链接进行下载：http://www.cs.unm.edu/~mccune/mace4/download/LADR1007B-win.zip（适合Windows系统），如果你的操作系统是别的，那么也有相对应的版本，可以去官网进行下载。那么第2种可能，就是设置不当，还是会造成无法找到Prover9这个错误。根据Python的提示，“PROVER9HOMEenvironment variable”我们需要自己设置一个系统变量来使程序继续进行，当然也可以使用Python自带的设置函数。这里只介绍系统变量的方法。根据它的提 阅读全文
