0

PCGBookの第 8 章の演習からコードを実行しようとしています。彼らは clgo を使用していますが、使用しているバージョンについては言及していません。Potassco の sourceforge (バージョン 4.5.4) から Clingo の最新バージョンをダウンロードすると、レクサー エラーが発生します。これは、Gringo 3 と Gringo 4 の間で構文が変更されたためだと思われます。 Potassco の Web サイトでは、Gringo の両方のバージョンをダウンロードすることで修正する方法が示されていますが、両方を参照する方法については言及されていません。 Clingo でプログラムを実行しています。Gringo 3.0.0 をダウンロードして gringo.exe を置き換えましたが、clingo.exe は最新バージョンの Gringo でコンパイルされています。

Gringo 3 で Clingo の最新バージョンまたは互換性のある最新バージョンをダウンロードするにはどうすればよいですか?

4

1 に答える 1

1

Clingo は、グラウンダー グリンゴとソルバー クラスプにいくつかの追加機能を加えたものです。バージョンごとに、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/ から入手できます。

または、クラスプ 2.x をグリンゴ 3.x に合わせて入手することもできますhttps://sourceforge.net/projects/potassco/files/clasp/2.1.5/

ヒントとして、スイッチを使用していつでも clgo をさまざまなモードで実行できます--mode=<arg>。引数のオプションはclingoclaspおよびgringoです。これは、現在、インストールする必要があるのは clingo 3.x と 4.x だけであることを意味します。Windows では、たとえば 3.x バージョンの名前を clingo3.exe に変更できます。

于 2016-11-23T14:38:33.020 に答える