問題タブ [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）に次のステートメントがあります。
結果はNo.です。Xoverの整数除算5が等しいかどうかを確認したい2。次のステートメントを書くとします。
次のエラーが表示されます。
//(X{1 .. 100}, 5, _703) のインスタンス化エラー
問題は、変数の整数除算を確認するにはどうすればよいかということXです。
prolog - ドメイン内のインスタンス化障害
私はソルバーの一般的な形式が以下のようなボードソルバーを持っています:
制約述語を渡しますが、以下の検索部分にエラーがあります。
エラーはラベル述語で発生し、エラーは次のとおりです。
ドメイン内のインスタンス化エラー(_258{[9 .. 13, 15 .. 20]})
それで、問題は何ですか？(indomain 述語に問題は見られません)。
prolog - Eclipse-clp の nth1 述語のバグの可能性はありますか?
Prolog で数独ソルバーを書いています。数独自体は、ベクトルのベクトルとして与えられます。
これを次のコードでマトリックスに変換しています。
これは最初の 8 行と列では問題なく動作しますが、I または J のいずれかが 9 の場合は毎回失敗します。nth1(9,RowI, Elem) を実行しても、9 番目の要素は返されません (8 行の場合は 1 が返されるはずですが、新しい変数が返されます)。これは Eclipse-clp のバグですか、それとも何か不足していますか?
prolog - ECLIPSE-CLP または Prolog でこれらのシグマ表記を実装する方法
ECLiPSe-CLP または Prolog でこれらのシグマを実装する方法を誰かに教えてもらうことは可能ですか、または少なくともそれらを実装して解決する方法についてのガイダンスを教えてください。
