clpq

2熱

1答えて

Prolog/clpqがこの2次方程式を解くのはなぜですか？

私はSWI-Prologを使用しています。私は非常に新しく、まだ学習しています。実際には、この質問はフォローアップですWhy can't my rule solve for X in a simple algebraic equation? 私はclpqをインポートしました。 ?- use_module(library(clpq)). true. 私の式は6X + 7倍である - 二次方程式

prolog clpq 2016-09-23

---

7熱

3答えて

論理プログラムが代数を行うことができるかどうか不思議です

私はPrologとLogical Programmingについて簡単な記事を読んでいます。私は論理プログラムが代数を行うことができるかどうか不思議です。同様に、あなたはXの変数が式5 + X = 7にあり、-2の答えを得ているかを尋ねることができますか？

prolog algebra declarative clpfd clpq 2012-12-03

---