使用尾递归来复制列表中的项目

Question

我有一个家庭作业问题，要求我们编写一个谓词，创建列表中每个项目的副本，首先使用线性递归，然后使用尾递归。我们不能使用内置谓词。

我可以使用线性递归来解决它，但我在尾递归时遇到了一些麻烦。

这是我试过的：

dup_elem_tail([], Res, Res).
dup_elem_tail([P | R], Lst2, Aux) :- dup_elems_tail(R, Lst2, [P, P | Aux]).

如果输入是dup_elem_tail([a, b, c], L)。输出应该是L = [a, a, b, b, c, c]。相反，我得到了[c, c, b, b, a, a]。

现在，我知道我的错误在哪里。在

dup_elem_tail([P | R], Lst2, Aux) :- dup_elems_tail(R, Lst2, [P, P | Aux]).

我正把'两个P'放在列表的左侧，当我把它们放在右侧时。但是，我找不到办法。

Answer 1

您不需要使用累加器来完成此任务。只需在头部构建输出列表：

dup_elems_tail([], []).
dup_elems_tail([P| Ps], [P, P | DPs]) :-
    dup_elems_tail(Ps, DPs).

示例电话：

| ?- dup_elems_tail([a, b, c], L).                                        

L = [a,a,b,b,c,c]
yes