prolog 中的不等式求解

Question

我正在尝试解决 ax^2+bx+c>0 型不等式题使用prolog。

我可以使用此编码来解决问题吗？ 两个

:-use_module(library(fd)).

compute(L=R, X) :-
        term_variables(L, [X]),
        L #= R.

Answer 1

据我所知，第一个 library(clpfd)（不是 fd）是一个有限域求解器。所以你需要提供有限的域。

其次，你提供一个等式约束，你应该提供一个不等式约束。

示例：

:- use_module(library(clpfd)).

compute(L>R,X,Low,High) :-
    term_variables(L, [X]),
    X in Low..High,
    L #> R,
    label([X]).

或者当没有给出域时：

compute(L>R,X) :-
    term_variables(L,[X]),
    L #> R.

然后实例化：

?- compute(5*X*X-2*X+7>0,X).
2*X#=_G1114,
_G1128*X#=_G1126,
5*X#=_G1128,
_G1152+_G1114#=_G1126,
_G1152 in -6..sup,
_G1152+7#=_G1174,
_G1174 in 1..sup.