我是Prolog和不平等的新手。我想用Prolog解决以下类型的不等式问题。我正在使用SWI-Prolog。
例如：2x + 3＆gt; 5就是问题。如何编写程序来获得该程序x> 1的答案。
答案 0 :(得分：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}.
答案 1 :(得分：-1)
尝试not（）条件
不是（2x + 3 = 5）