Используйте Clingo 4.5 с Gringo 3

Question

Я пытаюсь запустить код из упражнений из 8-й главы PCGBook. Они используют клинго, но не говорят, какую версию они используют. Когда я скачал последнюю версию Clingo из sourceforge Потасско (версия 4.5.4), он выдает мне ошибки лексера. Я предполагаю, что это потому, что синтаксис был изменен между Gringo 3 и Gringo 4. На веб-сайте Potassco они говорят это и дают способ исправить это, загружая обе версии Gringo, но они не говорят, как ссылаться на обе при запуск программ с Clingo. Я скачал Gringo 3.0.0 и заменил gringo.exe, но clingo.exe был скомпилирован с последней версией Gringo.

Как загрузить последнюю версию Clingo или последнюю совместимую версию с Gringo 3?

Answer 1

Clingo - это комбинация молотого гринго и застежки решателя, а также некоторых дополнений. Обратите внимание, что версии gringo 3.x и clasp 2.x идут вместе, а gringo 4.x и clasp 3.x идут вместе. Clingo следует версиям gringo, поэтому clingo 4.x сочетает в себе gringo 4.x и застежку 3.x.

Вы можете получить последнюю версию clingo, которая поддерживает синтаксис gringo 3.x, здесь: 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/

Как совет, вы всегда можете запустить clingo в разных режимах с помощью --mode=<arg> переключатель. Параметры аргумента clingo, clasp а также gringo, Это означает, что в настоящее время вам действительно нужно только установить clingo 3.x и 4.x. Например, в Windows вы можете переименовать версию 3.x в clingo3.exe.