使用两个is/2谓词时触发Prolog实例化错误求解

错误根源 #

你的代码触发实例化错误，核心问题出在X1 is X2 - 1这一行：Prolog的is/2谓词要求右侧的算术表达式必须完全实例化（所有变量都有确定数值）。如果查询时X2是未绑定的变量（比如执行?- loc(X, Y, 2).这类查询），这行代码就会因为X2无值而报错。
另外，规则的逻辑顺序反了——你试图从目标位置反推过去的位置，但实际查询场景通常是已知时间，需要从初始位置正向推导当前位置。

修正后的代码 #

% loc(x, y, t)：表示t时刻位于坐标(x,y)
loc(1, 1, 1).  % 初始位置：t=1时在(1,1)
loc(X2, Y, T2) :-
    T2 > 1,
    T1 is T2 - 1,
    forward(T1),  % 确认t1时刻执行了forward动作
    loc(X1, Y, T1),  % 先获取t1时刻的X坐标（已实例化）
    X2 is X1 + 1.  % 从过去的位置推导当前位置

关键调整说明 #

• 移除了原代码中的!截断符：这个符号会阻止回溯，后续扩展多初始位置或多动作场景时会引发问题，当前简单场景下也无必要。
• 调换了位置推导的顺序：先通过loc(X1, Y, T1)获取已实例化的历史X坐标，再用X2 is X1 + 1计算当前位置，完全满足is/2的实例化要求。
• 注意：你需要提前定义forward/1的事实，比如forward(1).，否则规则无法匹配成功。

测试示例 #

如果添加forward(1).事实，执行查询?- loc(X, Y, 2).，会正确返回X = 2, Y = 1，不再触发实例化错误。

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