2016-11-22 34 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。