无法打开prover9/Mace4我使用了一个代码,并在其中尝试使用Prover9,但由于某些原因,它一直出现。我下载了两个应用程序,但我不知道放在哪里才能打开它 NLTK找不到mace4文件! 使用特定于软件的配置参数或设置PROV ...2024-06-26 已阅读: n次