使用CLPFD库的Prolog代码报“Operator expected”语法错误求助

错误的核心是加载CLPFD模块的语法不正确。你写的use_module(library(clpfd)).没有以:-开头，在Prolog中这种写法会被当作普通事实，而非执行模块加载的指令——这直接导致CLPFD库的运算符（如#=、#>）未被导入，编译器无法识别这些符号，因此抛出语法错误。

将模块加载语句修改为Prolog标准指令格式，在开头添加:-：

:- use_module(library(clpfd)).

hailstone(N, N).
hailstone(N0, N) :- 
   N0 #= 2*N1,    
   N0 #> 1,       
   hailstone(N1, N).
hailstone(N0, N) :- 
   N0 #= 2*_ + 1, 
   N0 #> 1,       
   N1 #= 3*N0 + 1,
   hailstone(N1, N).

1. 保存修改后的代码，在SWI-Prolog中用[hailstone].加载脚本；
2. 可通过测试简单CLPFD目标验证模块是否加载成功，比如执行X #= 2*3.，若返回X=6则说明加载正常。

内容的提问来源于stack exchange，提问作者Avrohom Yisroel