Prolog clpfd :：

Question

亲爱的斯塔克溢流社区，

我只想测试Prolog的约束逻辑编程库(clpfd)。所以我通过打电话给图书馆

:- use_module(library(clpfd)).

然后我想做如下的事情。

[X,Y] :: [1..2], X #\= Y, X+Y #\= 3.

但我总能得到答案

ERROR: Syntax error: Operator expected
ERROR: [X,Y]
ERROR: ** here **
ERROR:  :: [1..2], X #\= Y, X+Y #\= 3 .

在执行以下示例时也会发生同样的情况

? member(X,[42,1,17]), [X,Y] :: [0..20].

ERROR: Syntax error: Operator expected
ERROR: member(X,[42,1,17]), [X,Y]
ERROR: ** here **
ERROR:  :: [0..20] .

似乎Prolog没有正确识别:：操作符。任何帮助都是非常感谢的。

Answer 1

据我所知，在(::)/2库中没有clpfd谓词。您可能正在寻找ins/2谓词。例如：

?- [X,Y] ins 1..2, X #\= Y, X+Y #\= 3, label([X,Y]).
false.

?- [X,Y] ins 1..3, X #\= Y, X+Y #\= 3, label([X,Y]).
X = 1,
Y = 3 ;
X = 2,
Y = 3 ;
X = 3,
Y = 1 .

因此，如果X和Y在1..2中，那么就没有解决方案，因为第一个约束说X应该与Y不同，第二个约束则表示X + Y应该不同于3。

如果我们将3添加到结果中，则有解决方案。

我们在这里也可以使用ins/2进行过滤：

?- member(X,[42,1,17]), [X,Y] ins 0..20.
X = 1,
Y in 0..20 ;
X = 17,
Y in 0..20.