使用tptp时出错“isabelle:未知逻辑”；HOL-TPTP“；

我安装了Isabelle 2015，并运行了

Isabelle 2015/Isabelle 2015

当我尝试使用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

---

是否需要设置其他内容？

您可能需要构建HOL-TPTP会话：

isabelle build -b HOL-TPTP

---

从你的回答中，我意识到没有必要运行

Isabelle2015/Isabelle2015

。