問題タブ [clpq]
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 - 不等式でのプロローグ
この不等式解決プログラムをインターネットの情報源から見つけました。うまく動作します。これがそのプログラムです。
このプログラムに関して私が抱えている問題は、大文字の変数を使用してプログラムを実行すると機能することですが、単純な文字の変数では機能しません。
これは、この問題を解決するために使用した構文です。
例えば：-
これは機能し、正しい答えが得られます。
これを実行すると、プロローグは言う
SWI-Prolog バージョン 6.6.0 を使用しています。ここで何が問題で、どうすれば解決できますか。
prolog - Prolog/clpq がこの二次方程式を解かないのはなぜですか?
私は SWI-Prolog を使用していますが、非常に新しく、まだ学習中です。実際には、この質問は、単純な代数方程式で私のルールが X について解けないのはなぜですか?のフォローアップです。
clpq をインポートしました。
私の方程式は6x 2 + 7x - 3 = 0で、x は文字通り-1.5または2 次方程式を使用する場合は1/3です。
3 の減算を -3の加算に変更することで方程式をわずかに減らしましたが、 については解けませんでした。私の最初のステップは、答えを与えて、それが受け入れられるかどうかを確認することでした.X
うーん... すべてが良さそうです。完全を期すために、二次方程式も実行しました。(「Equations」の複数形は、Prolog には±演算子がないと思われるためです。少なくとも、見つけられませんでした。)
さて、すべてがチェックアウトされているようです。では、なぜ cplq が私の方程式を解けなかったのでしょうか?
prolog - Simple Constraint Logic Programming サンプル CLP(Q) で Prolog でエラーが発生する
Prolog の学習を開始し、RIPTutorial PDF に従っています。Constraint Logic Programming CLP(Q)セクションでは、次のように述べています。
Constraint Logic Programming CLP(Q) は有理数の推論を実装します
例：
WindowsのSWI-Prologでこの行を試したところ、次のようになりました。
ERROR: Unknown procedure: {}/1 (DWIM could not correct goal)
macOS のコマンドライン SWI-Prolog-7.2.0 で同じ行を実行すると、次のようになります。
ERROR: toplevel: Undefined procedure: {}/1 (DWIM could not correct goal)
の期待される出力を取得する方法はX = 1.?