0

我正在尝试运行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,或最新的兼容版本?

4

1 回答 1

1

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。参数选项clingoclaspgringo。这意味着目前您真的只需要安装 cligo 3.x 和 4.x。例如,在 Windows 上,您可以将 3.x 版本重命名为 cligo3.exe。

于 2016-11-23T14:38:33.020 回答