用prolog求解不等式

我不熟悉Prolog和不等式，我想用Prolog解决以下类型的不等式问题。我正在使用SWI Prolog

问题是2x+3>5。我如何编写一个程序来得到这个程序x>1的答案。

试试not（）条件

---

不是（2x+3=5）

不太清楚你想要什么，但你可能想用有理数解这些方程。在这种情况下，

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文件得到这个答案。所以我需要一种prolog编码。这就是我想要的。不确定你想要什么，但首先，请查阅CLPQ上的手册，你们所给的可以通过prolog编译器直接运行。但我需要对pl文件进行编码，然后编译它。所以我需要通过分别识别左手边和右手边来解决上述类型的问题。同样。