JPL から SWI-Prolog に CLPFD クエリを送信し、実行された出力を Java プログラムに受け取る必要があります。JPLを使用してJava側から使用しているコードをPFAします。
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 で実行可能かどうかを知りたいのですが、可能であれば、これに関する専門知識を共有できますか?