【发布时间】：2014-08-26 18:03:12
【问题描述】：
我是 Prolog 和不等式的新手。我想使用 Prolog 解决以下类型的不等式问题。我正在使用 SWI-Prolog。
eg: 2x+3>5 是问题。我怎样才能编写一个程序来得到这个程序 x>1 的答案。
【问题讨论】：
【发布时间】：2014-08-26 18:03:12
【问题描述】：
不清楚你想要什么，但你可能想用有理数解这些方程。在这种情况下，您可能会对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}.
【讨论】：
-
thnks。它工作。我想通过 .pl 文件得到这个答案。所以我需要一种序言编码。这就是我要找的。span>
-
不确定您想要什么，但首先，请查阅 CLPQ 的手册。
-
好吧，你给出的可以直接通过prolog编译器运行。但是我需要对pl文件进行编码然后编译它。所以我需要通过识别左侧来解决上述类型的问题和右手边分开。同样。
试试 not() 条件
不是（2x+3 = 5）
【讨论】：