我正在尝试运行PCGBook第 8 章练习中的代码。他们使用 cligo,但没有说明他们使用的是什么版本。当我从 Potassco 的 sourceforge(版本 4.5.4)下载最新版本的 Clingo 时,它给了我词法分析器错误。我认为这是因为 Gringo 3 和 Gringo 4 之间的语法发生了变化。在 Potassco 网站上,他们这样说并通过下载两个版本的 Gringo 来解决它,但他们没有说明如何同时引用两者使用 Clingo 运行程序。我下载了 Gringo 3.0.0 并替换了 gringo.exe,但是 cligo.exe 已经用最新版本的 Gringo 编译了。
如何使用 Gringo 3 下载最新版本的 Clingo,或最新的兼容版本?