求助：Prolog实现将列表中的连续递增整数转为子列表

嘿，别担心！第一次用Prolog提问、上手新语言踩点太正常了，花5小时研究已经很认真啦～我帮你搞定这个把连续递增整数转成子列表的需求。

需求回顾 #

你需要把像[3,5,1,2,3,7,8,2]这样的列表，处理成[3,5,[1,2,3],[7,8],2]——也就是把连续且每个元素比前一个大1的序列打包成子列表，单个非连续的元素直接保留。

解决方案代码 #

先给你能直接用的代码，再一步步解释逻辑：

% 主谓词：输入原始列表，输出分组后的结果列表
group_consecutive_incr([], []).
group_consecutive_incr([Single], [Single]). % 单个元素直接返回

group_consecutive_incr([First, Second | Rest], FinalResult) :-
    (Second is First + 1 ->
        % 触发连续序列收集逻辑
        collect_consecutive([First, Second], Rest, ConsecutiveSubList, RemainingElements),
        group_consecutive_incr(RemainingElements, RestGrouped),
        FinalResult = [ConsecutiveSubList | RestGrouped]
    ;
        % 非连续，单独保留First，递归处理剩余部分
        group_consecutive_incr([Second | Rest], RestGrouped),
        FinalResult = [First | RestGrouped]
    ).

% 辅助谓词：收集完整的连续递增序列，直到不满足条件为止
collect_consecutive(CurrentSeq, [], CurrentSeq, []).
collect_consecutive(CurrentSeq, [Next | Rest], FinalSeq, Remaining) :-
    last(CurrentSeq, LastElement),
    (Next is LastElement + 1 ->
        append(CurrentSeq, [Next], NewCurrentSeq),
        collect_consecutive(NewCurrentSeq, Rest, FinalSeq, Remaining)
    ;
        FinalSeq = CurrentSeq,
        Remaining = [Next | Rest]
    ).

代码逻辑解释 #

1. 主谓词group_consecutive_incr/2：

   • 处理两种基础情况：空列表返回空，单个元素直接返回自身。
   • 当列表有至少两个元素时，先检查第二个元素是否是第一个+1：
     • 如果是，调用collect_consecutive把整个连续序列收集完，再递归处理剩下的元素，把收集到的子列表加入结果。
     • 如果不是，把第一个元素单独放进结果，递归处理剩下的列表。

2. 辅助谓词collect_consecutive/4：

   • 负责把当前的连续序列和剩余列表继续合并，直到下一个元素不满足「比序列最后一个元素大1」的条件。
   • 最后返回完整的连续子列表，以及剩下未处理的元素。

测试示例 #

在Prolog解释器里运行这个查询：

?- group_consecutive_incr([3,5,1,2,3,7,8,2], Result).

会得到你想要的结果：

Result = [3, 5, [1, 2, 3], [7, 8], 2]

小提示 #

如果之后想优化效率（比如避免last/2和append/3的开销），可以用尾递归或者反向收集序列再反转的方式，但这个版本逻辑清晰，适合新手理解～

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