Prolog clpfd :: 预期的运算符

Question

亲爱的 Whosebug 社区，

我只是想测试 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

据我所知，clpfd库中没有(::)/2谓词。您可能正在寻找 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.

Prolog clpfd :: 预期的运算符

Prolog clpfd :: operator expected

prolog

clpfd