将 Clingo 4.5 与 Gringo 3 结合使用

Use Clingo 4.5 with Gringo 3

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

如何下载最新版本的 Clingo 或与 Gringo 3 兼容的最新版本?

Clingo 是 grounder gringo 和 solver clasp 的组合,外加一些附加功能。请注意,版本方面的 gringo 3.x 和 clasp 2.x 放在一起,gringo 4.x 和 clasp 3.x 放在一起。 Clingo 遵循 gringo 的版本控制,因此 clingo 4.x 结合了 gringo 4.x 和 clasp 3.x.

您可以从这里获取支持 gringo 3.x 语法的最新 clingo 版本:https://sourceforge.net/projects/potassco/files/clingo/3.0.5/

或者你可以用扣子 2.x 来搭配你的外国佬 3.x https://sourceforge.net/projects/potassco/files/clasp/2.1.5/

作为提示,您始终可以使用 --mode=<arg> 开关在不同模式下 运行 clingo。参数选项为 clingoclaspgringo。这意味着目前您实际上只需要安装 clingo 3.x 和 4.x。在 windows 你可以,例如将 3.x 版本重命名为 clingo3.exe.