prolog中的语法错误
我试图将以下公式写入swi prolog，但出现错误 这是我正在键入的代码/查询prolog中的语法错误,prolog,syntax-error,swi-prolog,clpfd,Prolog,Syntax Error,Swi Prolog,Clpfd,我试图将以下公式写入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 . 有人能告诉我我做错了什么吗。问题是我忘了导入库[library（clpfd）]，所以基本上必须使用下面的语句use_
[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 .
有人能告诉我我做错了什么吗。问题是我忘了导入库[library（clpfd）]，所以基本上必须使用下面的语句use_module（library（clpfd））。@capelical？-[library（clpfd）]发现了这一点。@capelical是的，谢谢它修复了它]说的是
use_模块（library（clpfd））