[ ソース: gringo ]
パッケージ: gringo (5.4.1-3.1 など)
(選言的) 論理プログラムのためのグラウンディングツール
現在の解集合ソルバは、変数のないプログラムを取り扱います。 したがって、与えられた一階変数を持つ入力プログラムと等価なグラウンド (変数のない) プログラムを計算するグラウンダが必要です。
このパッケージには次のツールが含まれています:
- gringo: 一階変数を伴う入力プログラムから等価なグラウンド (変数フリー) を aspif フォーマットで計算します。この出力をさらに解集合ソルバ clasp で処理することができます。gringo シリーズ 5 からは、出力は smodels や cmodels などの smodels フォーマットと直接互換では なくなりました。lpconvert を使って aspif フォーマットから smodels フォーマットに変換してください。 - clingo: gringo と clasp を組み合わせてモノリシックなシステムにします。 この方法により、gringo と clasp がそれぞれ提供するよりもより詳細に グラウンディングおよびソルビングプロセスを制御することができます。 マルチショット・ソルビング - lpconvert: gringo の aspif と smodels フォーマット間の変換器 - reify: aspif フォーマットで与えられる論理プログラムを具体化する 小さなユーティリティ。gringo でさらに処理できる一連のファクトが生成 されます。
その他の gringo 関連パッケージ
|
|
|
|
-
- dep: libatomic1 (>= 4.8)
- __atomic ビルトイン関数を提供するサポートライブラリ
-
- dep: libc6 (>= 2.34)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libgcc-s1 (>= 3.5)
- GCC 共有ライブラリ
-
- dep: liblua5.4-0 (>= 5.4.4)
- Shared library for the Lua interpreter version 5.4
-
- dep: libpython3.11 (>= 3.11.0)
- Shared Python runtime library (version 3.11)
-
- dep: libstdc++6 (>= 12)
- GNU 標準 C++ ライブラリ v3
-
- rec: clasp
- conflict-driven nogood learning answer set solver