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 回答