問題タブ [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.

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

prolog - SWI Prolog 対 GNU Prolog - SWI での CLP(FD) の問題

Prolog で簡単な述語を書き、CLP(FD) とその連立方程式を解く能力を試してみました。

SWI で呼び出すと、次のようになります。

一方、GNUでは、次の正しい答えが得られます。

何が起きてる？理想的には、より堅牢な環境である SWI で正しい結果を得たいと考えています。


12345678910