1

Prologと不等式は初めてです。Prologを使用して次のタイプの不等式の問題を解決したいと考えています。SWI-Prolog を使用しています。

例: 2x+3>5 が問題です。このプログラム x>1 の答えを得るには、どのようにプログラムを作成すればよいでしょうか。

4

2 に答える 2

2

何が必要かは明確ではありませんが、これらの方程式を有理式で解きたいと思うかもしれません。この場合、library(clpq)あなたにとって興味深いかもしれません。以下はSWI 6で実行されています。

?- use_module(library(clpq)).
% library(clpq) compiled into clpq 0.25 sec, 2,727 clauses
true.

?- {2*X+3>5}.
{X>1}.
于 2014-08-26T18:29:51.487 に答える
-1

not() 条件を試す

ない(2x+3 = 5)

于 2014-08-26T18:25:44.620 に答える