2016-11-22 161 views
0

我正在尝试运行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 4.5与Gringo 3

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

回答

1

Clingo是地滚球gringo和解算器扣环的组合,加上一些额外的东西。请注意,版本方面的gringo 3.x和2.x版一起,gringo 4.x和3.x版一起。 Clingo遵循gringo的版本控制,所以4.x版本将gringo 4.x和3.x.

你可以支持从这里外国佬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。参数选项是clingo,claspgringo。这意味着你现在只需要安装3.x和4.x的软件。在窗户上,您可以将3.x版本重命名为clingo3.exe。