問題タブ [eclipse-clp]
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.
prolog - Eclipse CLP のコードを CHR にトランスパイルする一般的な方法
私の質問は少し一般的ですが、私の特定の質問への回答は非常に役立つ可能性があります. 一般的な質問は、「Eclipse CLP プロローグのコードを制約処理規則 (CHR) コードに転送する一般的な方法はありますか?」です。いずれにせよ、CHR コードがプロローグ コードにコンパイルされることはわかっています。
具体的な質問は、「Eclipse CLP の N-Queens のこのサンプル コードを CHR コードに転送するためのアルゴリズムまたは正式な規則はありますか?」です。
prolog - ic_global/occurrences/3 の内部動作
QuasiGroup 補完問題では、2 つのモデルを実装しました。そのうちの 1 つは、チャネリング制約のみに基づくモデルです (Dotu による調査に基づく)。もう 1 つは、すべての値がすべての行/列で発生する必要があるという事実に基づくモデルです。ここに小さなスクリプトがあります：
たくさんのベンチマーク (10 個以上のパズル) で試してみました。バックトラックの総数は 500 を超えていますが、驚いたのは、両方のモデルでその数が同じであることです。セット内の各問題のバックトラック数も同じです。
上記の小さなスクリプトも、同じ数のバックトラックを報告します。なぜこれが起こるのか興味があります。ic_global:occurrences/これほど似たような動作をさせるにはどうすればよいでしょうか (少し遅くなりますが)。
prolog - 条件の先頭で使用される場合の整数中断の処理方法
2 つの変数Aとに対して次の条件がありBます。
A問題は 2 行目にあり、ソルバーはとの値を認識していませんB。2 行目の変数の値を指定せずに、条件のどの分岐を続行するかを決定する方法は?
合理的な行動は、ソルバーが変数の可能な値をトラバースするときに、変数の値に基づいてこの分岐を決定することです。しかし、変数の値を知る前に、これらの式のいずれかを通過することがわかりました。それを防ぐ解決策は何ですか？