1

我需要将 CLPFD 查询从 JPL 发送到 SWI-Prolog，并将它们的执行输出接收到 Java 程序中。PFA 我使用 JPL 从 Java 端使用的代码。

        Query    q = new Query("use_module(library(clpfd)).");
        Variable X = new Variable("X");
        Variable Y = new Variable("Y");

现在我需要使用 JPL 将 CLPFD 查询发送到 SWI-Prolog。查询如下。

Arithmetic_Expression#=X*Y+X+1,
[Y, X] ins 0..100500,
Arithmetic_Expression in 1..5\\/10\\/12.

我想知道如何使用 JPL 将 CLPFD 发送到 SWI-Prolog 并取回执行的输出。如下：

Arithmetic_Expression in 1..5\/10\/12,
_G576+1#=Arithmetic_Expression,
_G576 in 0..4\/9\/11,
_G606+X#=_G576,
_G606 in 0..11,
X*Y#=_G606,
X in 0..11,
Y in 0..100500.

我想知道这在 JPL 中是否可行，如果可以，那么有人可以分享他们在这方面的专业知识吗？

4

0 回答 0