问使用tptp_isabelle出错:未知逻辑“HOL”
EN

Stack Overflow用户

提问于 2016-01-29 13:58:17

回答 1查看 58关注 0票数 1

我安装了Isabelle2015并运行了Isabelle2015/Isabelle2015。

当我尝试使用tptp_isabelle工具时，我得到了以下错误：

$ ./isabelle tptp_isabelle 10 foo.tptp
Unknown logic "HOL-TPTP" -- no heap file found in:
/home/asr/.isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-linux
/home/asr/src/isabelle/Isabelle2015/heaps/polyml-5.5.2_x86-linux

我还需要做点别的什么吗？

isabelle

回答 1

Stack Overflow用户

回答已采纳

发布于 2016-01-29 14:55:57

您可能必须构建HOL会话：

isabelle build -b HOL-TPTP

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/35086359

复制

相似问题

问使用tptp_isabelle出错:未知逻辑“HOL”
EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问使用tptp_isabelle出错:未知逻辑“HOL”EN

回答 1

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问使用tptp_isabelle出错:未知逻辑“HOL”
EN