Prolog代码give_me谓词N值负溢出问题求助（疑似竞态条件）

问题描述 #

• 使用SWI-Prolog 8.4.2进行谜题求解练习
• 单独执行start_a_grid(535, 169, Grid)时，网格生成正常
• 执行组合查询start_a_grid(535, 169, Cave), input(Lines), init(Lines, Cave, Initialized)时，give_me谓词中的变量N变为负数
• 小参数（如13,11）搭配sample_lines(Lines)执行时无异常

大概率是代码问题，而非版本bug，常见诱因及排查方向 #

• 边界条件未覆盖：大参数触发了未考虑的索引边界场景，比如计算索引时未限制下限，导致变量越界为负数。可给give_me添加断言N >= 0，触发异常时定位上下文。
• 递归终止逻辑错误：give_me的递归终止条件在大参数下未正确触发，导致递归深度异常，变量被错误更新。用trace/0跟踪give_me的执行流程，查看N变负的具体步骤。
• 变量绑定冲突：input(Lines)或init/3的逻辑意外绑定了give_me中的N变量（比如变量名重复、意外的统一操作），检查代码中变量作用域是否清晰。
• 算术运算错误：排查give_me或关联逻辑中的算术操作，是否存在减法顺序颠倒等低级错误（SWI-Prolog支持任意精度整数，溢出概率极低）。
• 输入数据差异：对比sample_lines和input(Lines)的输入内容，看大输入中是否存在特殊值触发了错误逻辑。

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