Prolog中矩阵指定位置元素批量替换功能的实现问题求助

问题原因分析 #

第一版代码问题 #

• 递归终止条件generateMx(_, [], _)没有绑定结果参数，递归到空列表时返回的Res1是未绑定的自由变量，传入replace谓词必然无法得到正确结果
• 递归顺序是先处理剩余坐标再处理当前坐标，若不需要倒序替换的话没必要这么写

第二版代码问题 #

• 错误使用is运算符：is仅支持右侧为算术表达式、左侧为数值变量的算术求值场景，矩阵属于复合项，统一应该使用=运算符，这是代码报错的直接原因
• 多余的空列表判断：递归本身就会通过终止条件处理空列表场景，不需要额外加(Tail == [])的分支判断

正确实现 #

% 终止条件：无待替换坐标时，当前矩阵就是最终结果
generateMx(Mx, [], Mx).
% 递归逻辑：先替换当前坐标的值，再用替换后的矩阵处理剩余坐标
generateMx(Mx, [I-J|Tail], Res) :-
    replace(Mx, I, J, 1, TempMx),
    generateMx(TempMx, Tail, Res).

如果有倒序处理坐标的需求（先替换列表后面的坐标，再替换前面的），调整递归顺序即可：

% 倒序处理版本
generateMx(Mx, [], Mx).
generateMx(Mx, [I-J|Tail], Res) :-
    generateMx(Mx, Tail, Res1),
    replace(Res1, I, J, 1, Res).

注意事项 #

• 如果坐标列表存在重复坐标，实现效果和坐标处理顺序一致，按需选择正序/倒序版本即可
• Prolog中对非数值的项进行绑定/匹配统一使用=，不要误用is运算符

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