問題タブ [clpr]
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 How to use library(clpqr) solver predicates
I am failing with using the predicates from the library CLPQR in SWI-Prolog. The library itself works. Expressions like "clpq: {X = 5^2}" are solved correctly. But I can't figure out how to use "minimize", "maximize", "inf", "sup", etc. Link to the Prolog Manual http://www.swi-prolog.org/pldoc/man?section=clpqr. I'd really appreciate if anybody can give some Code Examples!!
prolog - Prolog 制約ロジック プログラミング (clpr) における未知数の順序
私は持っている：
次のクエリを使用します。
収量:
予想通り。しかし、なぜそうしないのですか
Y と Z の値も教えてください。私が得るのは代わりです：
ありがとう！
prolog - 数式での係数へのアクセス (clpr)
頭が一次方程式の変数のセットの名前と値を表し、本体が実際の方程式である節がいくつかあります。そのようです：
この方程式の係数を (間接的に) 取得する簡単な方法はありますか? coefficient(VARNAME, COEFFICIENT)つまり、 egなどを返すルールcoefficient(x1, 0.5), coefficient(x2, 0.6)です。
すべての係数を節の先頭に置くのは簡単であることを考えると、これはばかげた質問のように思えるかもしれません。しかし、私のアプリケーションでは、これらの句の先頭に、各変数の値 (係数ではなく) を厳密に表示したいと考えています。つまり、あいまいさを避けるためです。
私の現在の解決策は、 、 、および X1、X2、X3 を 1 または 0 に設定して各勾配を計算することを含むmember/2、複雑で洗練されていないものです。subtract/3maplist/2
関連する質問: プロローグでの線形関数の表現
ありがとう！
/JC