将Clingo 4.5与Gringo 3连用

Question

我试图从PCGBook第8章的练习中运行这些代码。他们使用clingo，但不要说他们使用的是什么版本。当我从Potassco的sourceforge (4.5.4版)下载最新版本的Clingo时，它会给我带来lexer错误。我认为这是因为Gringo 3和Gringo 4之间的语法发生了变化。在Potassco网站上，他们这样说，并通过下载两种版本的Gringo来纠正错误，但他们没有说在使用Clingo运行程序时如何同时引用这两种语言。我下载了Gringo 3.0.0并替换了gringo.exe，但是clingo.exe已经用最新版本的Gringo编译了。

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

Answer 1

克林戈是地球外国佬和解决者卡环的结合，加上一些额外的。注意，按版本计算的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/

或者，您可以让clasp 2.x与您的gringo 3.x https://sourceforge.net/projects/potassco/files/clasp/2.1.5/一起使用。

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