Prolog中实现列表求和并返回总和与原元素的问题

• 基础递归子句类型不一致：sum([], 0) 定义空列表返回值为整数0，而递归分支要求第二个参数为列表结构，逻辑不匹配
• 递归分支仅实现累加计算，未编写将原列表元素纳入结果的逻辑，最终输出仅包含总和值，缺失原列表元素部分

按照「列表总和 + 原列表完整元素序列」的输出要求，调整递归逻辑同时承载累加计算和原元素收集，实现代码如下：

% 基础子句：空列表对应结果为[0]，即总和为0，无额外原始元素
sum([], [0]).
sum([H|T], [Total | OriginalElements]):-
    % 递归获取尾列表的计算结果：首元素为尾列表总和，后续为尾列表的原始元素序列
    sum(T, [TailSum | TailOriginalElements]),
    % 计算当前层的总和：头元素 + 尾列表总和
    Total is TailSum + H,
    % 前置当前头元素到原始元素序列，保持原列表的元素顺序
    OriginalElements = [H | TailOriginalElements].

执行查询sum([1,2], L).，将得到预期结果L = [3,1,2]。

原代码的递归路径中，所有计算出的累加值仅被放入单元素列表返回，从未将遍历过程中取出的原列表元素追加到结果中，这是输出仅为[3]的直接原因。

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