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

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

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


answer-set-programming clingo gringo
person nightwuffle    schedule 22.11.2016    source источник

Ответы (1)


arrow_upward
1
arrow_downward

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

Вы можете получить последнюю версию clingo, поддерживающую синтаксис гринго 3.x, здесь: https://sourceforge.net/projects/potassco/files/clingo/3.0.5/

В качестве альтернативы вы можете получить застежку 2.x для вашего гринго 3.x https://sourceforge.net/projects/potassco/files/clasp/2.1.5/

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

person vukk    schedule 23.11.2016