如何在Prolog中将列表末尾元素复制添加至列表头部？

我明白你现在的困扰啦——你的代码目前是把列表最后一个元素移动到头部（原末尾元素会被移除），但你想要的是复制这个元素到头部，同时保留原列表的所有内容对吧？咱们来一步步修正这个问题。

先分析你现有代码的问题 #

你的代码是这样的：

addLastToFront([], []). 
addLastToFront(L, [H|T]) :- append(T, [H], L).

这条规则 append(T, [H], L) 的意思是：原列表L是由列表T加上单个元素H组成的。反过来推导的话，当你输入原列表[a,b,c,d]，Prolog会找到T = [a,b,c]、H = d，然后新列表是[H|T]也就是[d,a,b,c]——这就相当于把最后一个元素从原列表里拆出来移到了前面，自然原末尾的元素就消失了。

正确的实现思路 #

要实现复制末尾元素到头部，我们只需要完成两个步骤：

1. 获取原列表的最后一个元素；
2. 把这个元素作为新列表的第一个元素，后面直接跟上完整的原列表。

方案1：使用Prolog内置的last/2谓词

Prolog内置了last/2谓词，可以直接获取列表的最后一个元素，我们直接利用它来实现：

addLastToFront([], []).
addLastToFront(OriginalList, [LastElement|OriginalList]) :-
    last(OriginalList, LastElement).

测试这个代码：

?- addLastToFront([a,b,c,d], X).
X = [d,a,b,c,d]

完全符合你的需求！

方案2：自己实现获取最后一个元素的逻辑

如果你不想依赖内置谓词，也可以自己写一个辅助谓词来获取列表的最后一个元素：

% 辅助谓词：获取列表的最后一个元素
my_last([Last], Last).
my_last([_|Rest], Last) :-
    my_last(Rest, Last).

% 主谓词
addLastToFront([], []).
addLastToFront(OriginalList, [LastElement|OriginalList]) :-
    my_last(OriginalList, LastElement).

测试效果和方案1完全一致。

核心逻辑说明 #

这个实现的关键是保留原列表的完整性：我们不再拆分原列表，而是直接把最后一个元素加到原列表的最前面，相当于在原列表头部“复制粘贴”了末尾的元素，而非移动它。

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