prolog中的语法错误

Question

我正在尝试将以下公式写入swi prolog但是会出错，

这是我正在输入的代码/查询

[X, Y, Z] ins 0 .. 4, X #= Y + 1.

这是我得到的错误

ERROR: Syntax error: Operator expected
ERROR: [X, Y, Z]
ERROR: ** here **
ERROR:  ins 0..4, X #= Y + 1 . 

有人能让我知道我做错了吗。

Answer 1

问题是我忘了导入库[library（clpfd）]所以基本上必须使用以下语句use_module（library（clpfd））。 @CapelliC

发现了这一点