如何在Prolog中不使用append()方法实现列表追加？

当然可行！你卡壳的原因是思路绕到了“往第一个列表末尾加元素”——但Prolog的列表是单向链表结构，往末尾操作本来就麻烦，换个反向递归的思路就完全不需要依赖内置append了。

核心思路 #

我们不用把第二个列表的元素挨个往第一个列表后面塞，而是反过来构建结果：

• 当第一个列表（要被追加的列表）为空时，结果直接就是第二个列表；
• 如果第一个列表有头元素H和尾T，先递归处理T和第二个列表得到中间结果，再把H放到这个中间结果的前面（这在Prolog里是天然高效的操作）。

实现代码 #

% 终止条件：当要追加的列表为空，结果就是目标列表
apnd([], TargetList, TargetList).
% 递归步骤：先把尾列表和目标列表合并，再把当前头元素放到合并结果的前面
apnd([Head|Tail], TargetList, [Head|Result]) :-
    apnd(Tail, TargetList, Result).

测试示例 #

比如调用apnd([1,2,3], [4,5,6], R)，Prolog会返回R = [1,2,3,4,5,6]，完全符合“把list1追加到list2”的需求。

对你原有代码的小分析 #

你原来写的终止条件apnd(X,[],X)其实是“把空列表追加到X”的逻辑，方向搞反了。而且试图往X后面加元素的思路，本质上还是需要处理列表末尾，这才会不自觉想到要用append——换个递归方向，问题就迎刃而解啦。

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