prolog - 序言中的语法错误

Question

我正在尝试将以下公式写入SWI序言中，但出现错误，

这是我输入的代码/查询

[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发现的