SWI-Prolog中的方程求解器

Question

我想编写一个解决方程式的程序SWI-Prolog。我知道GNU Prolog，这让我很紧张......这里有什么问题？

equation(X1,X2) :- 
    { 
    2*X1 + 3*X2 =:= 6, 
    {X1 is 0; X1 is 1}, 
    {X2 is 0; X2 is 1} 
    }. 

X1和X2总是等于或01。

Answer 1

我有

:- [library(clpq)]. 
eq(X1, X2) :- {2 * X1 + 3 * X2 =:= 6}. 

然后我编译和运行，我得到一个文件：

?- eq(A,B). 
{B=2-2 rdiv 3*A}. 

它的结果你期待？

编辑的documentation的

?- eq(A,B),A=1. 
A = 1, 
B = 4 rdiv 3. 

?- eq(A,B),B=1. 
A = 3 rdiv 2, 
B = 1. 

第A.8.3说，统一可容纳 '外部' 的约束规范。然后你可以自由地尝试额外的边界。但是如果你强加A和B都会绑定，你应该选择合适的值。 AFAIK您最初公布的数值不能满足方程式。