Prolog中对实数的非线性约束

Question

我正在使用clpr对Prolog中的实数进行约束逻辑编程。具体来说，我想最大化非线性表达式，请参见下面的代码。 clpr限于线性约束，因此下面的代码不起作用（用*代替*）。

如果有一个库，您能推荐一个库吗？

干杯/ JCR

:-use_module(library(clpr)).

main:-
    {Y = X1 * X2 - X3},
    {X1 >= 0, X1 =< 1},
    {X2 >= 0, X2 =< 1},
    {X3 >= 0, X3 =< 1},
    maximize(Y),
    write("Y = "), write(Y), nl,
    write("X1 = "), write(X1), nl,
    write("X2 = "), write(X2), nl,
    write("X3 = "), write(X3).