問題タブ [clingo]

質問する

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

123 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
459 参照

logic - クリンゴは変数範囲を適用します

私はクリンゴについてあまり知りません。問題を明確に共有できれば幸いです。

現在、私は

各 X、Y 値の結果を返します。X-XX と Y-YY の範囲を取得するにはどうすればよいですか。

例: ルールは for を生成cellUseCount(1,5,1)しtarget(1,5,1,1)ます。しかし、私はしたいcellUseCount(1,1,1), cellUseCount(1,2,1), cellUseCount(1,3,1), cellUseCount(1,4,1), cellUseCount(1,5,1)ですtarget(1,5,1,1)。どうすればそれを実装できますか?

前もって感謝します。

0 投票する
1 に答える
262 参照

prolog - Prolog/ASP(Clingo) から CLIPS へのトランスレータ

Prolog/ASP コードを CLIPS に変換する簡単な方法はありますか?

このようなものですが、Prover9 の代わりに CLIPS を使用しています: https://github.com/potassco/anthem/tree/master/examples


12345678910