Prolog 7x7棋盘边界校验函数报instantiation_error错误求助

错误原因 #

你遇到的instantiation_error是因为Prolog的算术比较运算符（=<、>=、<、>）要求两边参数必须是已实例化的数值。当调用lim/2时，如果La或Ca是未绑定的变量（没有具体数值），这些运算符无法执行，就会抛出这个错误。

修复方案 #

1. 改进lim/2，兼容生成与校验

原lim/2只能校验已实例化的坐标，无法生成合法坐标。改用between/3可以同时支持两种场景，从根源避免实例化错误：

lim(La, Ca) :-
    between(1, 7, La),  % 生成或校验La在1-7范围内
    between(1, 7, Ca).  % 生成或校验Ca在1-7范围内

between/3既可以在变量未绑定时生成范围内的数值，也可以在变量已绑定时做范围校验，完全覆盖你的边界校验需求。

2. 完善op/4规则，确保变量先实例化再校验

你的op/4规则只计算了Ls，但未处理Cs，也没有调用lim校验新坐标。修复后需要先确保所有变量绑定具体值，再执行校验：

% state operator -> op(actual_state, operator, next_state, cost)
op(e(La, Ca, Lm, Cm), up, e(Ls, Cs, Lm, Cm), 1) :- 
    Ls is La + 1,  % 先实例化新行号Ls
    Cs = Ca,       % 列号不变，实例化Cs
    lim(Ls, Cs),   % 此时Ls、Cs都是实例化数值，调用lim不会出错
    \+ obsta(e(Ls, Cs)).  % 可选：确保新位置不是障碍物

说明：

• 机器位置Lm, Cm在up操作中未变化，直接保留到新状态
• 添加\+ obsta(...)可避免agent移动到障碍物位置（根据你的需求可选）

验证示例 #

现在可以正常调用规则，比如查询初始状态的up操作：

?- inicial_state(S), op(S, up, NextS, Cost).
S = e(1, 2, 2, 2),
NextS = e(2, 2, 2, 2),
Cost = 1.

如果尝试移动到棋盘外（比如La=7时调用up），规则会自动失败，不会抛出错误：

?- op(e(7,2,2,2), up, NextS, Cost).
false.

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