Prolog列表反转实现疑问：如何去除执行过程中的[]括号

你的代码出现多余[]的原因是两个逻辑错误：

1. 第二个子句inverser(X,X)匹配范围过广，它会把任何非空列表直接返回，递归时还会将列表当作单一元素处理，引发嵌套。
2. 第三个子句的目标列表构造错误：[L2,T1]会把递归得到的L2作为新列表的第一个元素，而非将T1追加到L2末尾，最终生成嵌套结构。

正确的列表反转实现 #

推荐使用累加器版本（效率更高，无嵌套问题）：

% 主谓词：调用累加器辅助谓词
inverser(List, Reversed) :-
    inverser_acc(List, [], Reversed).

% 辅助谓词：用累加器保存反转的中间结果
inverser_acc([], Acc, Acc).  % 空列表时，累加器就是最终反转结果
inverser_acc([Head|Rest], Acc, Reversed) :-
    % 将当前头元素放到累加器前面，继续递归处理剩余列表
    inverser_acc(Rest, [Head|Acc], Reversed).

如果想理解基础递归逻辑（效率较低，适合学习），也可以用append实现：

inverser([], []).
inverser([Head|Rest], Reversed) :-
    inverser(Rest, RestReversed),
    append(RestReversed, [Head], Reversed).

为什么你的代码会产生嵌套？ #

以inverser([1,2,3], R)为例，执行流程是：

1. 匹配第三个子句：T1=1，L1=[2,3]，所以R=[L2,1]，递归调用inverser([2,3], L2)
2. 再次匹配第三个子句：T1=2，L1=[3]，L2=[L3,2]，递归调用inverser([3], L3)
3. 匹配第二个子句inverser(X,X)，L3=[3]
4. 回溯得到L2=[[3],2]，最终R=[[[3],2],1]——这就是你看到的多余[]来源。

关于flatten #

flatten是用来展开嵌套列表的工具，但这里的问题不是需要展开，而是反转逻辑本身错误导致了不必要的嵌套，修复递归逻辑才是根本解决方法。

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