我正在尝试运行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 或最新兼容版本？
【问题讨论】：
标签： answer-set-programming clingo gringo
Clingo 是grounder gringo 和solver clasp 的组合，还有一些附加功能。请注意，版本方面的 gringo 3.x 和 clasp 2.x 一起使用，而 gringo 4.x 和 clasp 3.x 一起使用。 Clingo 遵循 gringo 的版本控制，因此 clisp 4.x 结合了 gringo 4.x 和 clasp 3.x。
您可以从这里获得支持 gringo 3.x 语法的最新 cligo 版本：https://sourceforge.net/projects/potassco/files/clingo/3.0.5/
或者，您可以让 clasp 2.x 与您的 gringo 3.x 一起使用 https://sourceforge.net/projects/potassco/files/clasp/2.1.5/
作为提示，您始终可以使用 --mode=<arg> 开关在不同模式下运行 clgo。参数选项是clingo、clasp 和gringo。这意味着目前您真的只需要安装 cligo 3.x 和 4.x。在 Windows 上，您可以例如将 3.x 版本重命名为 cligo3.exe。
【讨论】：