Решатель неравенств с использованием пролога

Question

Я новичок в Пролог и неравенства. Я хочу решить следующий тип вопроса неравенства, используя Пролог. Я использую SWI-Prolog.

например: 2x+3>5 - вопрос. Как я могу написать программу, чтобы получить ответ этой программы x>1.

Answer 1

Не совсем понятно, что вы хотите, но вы можете решить эти уравнения в рациональных. В этом случае, 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}.

Answer 2

Попробуйте условие not()

нет (2x+3 = 5)