为何length/2在带域限制的非实例化变量场景下触发全局栈溢出？

这是个非常典型的标准Prolog谓词与CLP(FD)约束交互的“坑”，我来帮你理清楚背后的原因：

核心矛盾：length/2不感知CLP(FD)约束 #

标准Prolog的length/2谓词设计逻辑很简单：

• 如果第二个参数是未实例化的普通变量，它会从长度0开始，无限生成对应长度的列表（你可以手动终止查询，不会崩溃）；
• 如果第二个参数是已实例化的整数，它会生成对应长度的列表；
• 但如果第二个参数是带有CLP(FD)约束的变量，length/2完全不知道这个约束的存在——它不会去询问CLP(FD)“这个变量还有没有合法值”，只会按照自己的逻辑继续尝试。

你的查询为什么会崩溃？ #

看你的第一个查询：

?- X in 1..2, length(List,X).

执行流程是这样的：

1. CLP(FD)先把X的域限制为1..2；
2. 调用length(List,X)，它先找到X=1的解，返回X=1, List=[_1260]；
3. 回溯后找到X=2的解，返回X=2, List=[_1260, _1266]；
4. 继续回溯时，length/2还想尝试让X取更大的值（3、4、5...），同时生成更长的列表；但CLP(FD)的约束会直接拒绝X取这些值，导致length/2不断尝试、不断失败，却不知道停止——最终耗尽全局栈空间，连异常处理的内存都没有了，直接触发崩溃。

为什么其他查询正常？ #

对比你测试的三个查询：

• ?- X in inf..sup, length(List,X).：X的域是所有整数，length/2无限生成列表是完全符合预期的，它不需要被阻止，所以你可以正常运行（手动终止即可）；
• ?- length(List,_). 和 ?- length(List,_X).：这里用的是无约束的变量/匿名变量，length/2同样无限生成列表，但没有CLP(FD)约束来阻止它，所以是正常的无限枚举，不会出现“尝试违反约束导致的死循环式内存消耗”。

如何解决这个问题？ #

要让查询正常终止，你需要让length/2只处理X的合法值，比如先用labeling/1枚举X的所有可能：

?- X in 1..2, labeling([], X), length(List,X).

labeling/1会先把X实例化为1和2，length/2处理完这两个值后，回溯时就没有更多合法值了，会正常返回false，不会栈溢出。

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