Prolog无内置谓词实现双索引开区间列表切片的错误排查

原代码核心问题 #

• 索引计算逻辑错误：使用indexOf查询当前子列表中元素的索引，得到的是元素在子列表中的局部位置，而非原始列表的全局索引，完全无法匹配传入的区间参数I和N。
• indexOf调用语法错误：代码中写的indexOf([H, T], H, Ind)是把当前头元素和尾列表作为两个独立元素拼成新列表查询，正确的列表解构写法应为indexOf([H|T], H, Ind)，但即便修正该语法问题，也解决不了子列表局部索引和全局索引不匹配的核心问题。
• 辅助比较谓词逻辑错误：less_than(0, 0)和greater_than(0, 0)的定义导致0同时满足大于和小于0，完全不符合开区间的判断要求。
• 基例定义错误：原基例仅匹配空列表且I、N都为0的情况，实际上空列表无论传入的I、N是什么，都应该返回空切片。
• 分支回溯问题：没有对分支加逻辑控制，符合条件的分支执行完后还会回溯到不符合的分支，产生多余的错误结果。

修复方案（不使用任何内置谓词） #

调整实现思路，新增一个辅助参数记录当前遍历的全局索引，不需要调用indexOf，遍历过程中直接判断当前索引是否在开区间内即可：

% 辅助谓词：新增CurInd参数记录当前遍历的全局索引
slice_helper([], _, _, []).
slice_helper([H|T], I, N, CurInd, R) :-
    NextInd is CurInd + 1,
    (   CurInd > I, CurInd < N -> % 判断是否符合开区间要求
        slice_helper(T, I, N, NextInd, Rt),
        R = [H|Rt]
    ;   % 不符合条件则跳过当前元素
        slice_helper(T, I, N, NextInd, R)
    ).

% 对外调用接口，初始遍历索引为0
slice(List, I, N, R) :-
    slice_helper(List, I, N, 0, R).

测试验证 #

运行slice([a,b,c,d], 0, 4, R)，得到结果R = [b, c]，符合预期。

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