Prolog递归列表改组

Question

为序言考试进行复习，并研究我们没有答案的过去试卷，我在一个问题中遇到了一半，我真的希望能得到一些帮助！

问题： 写一个谓词permute(Xs, Ys)，对列表Xs的元素进行打乱，得到打乱的列表Ys。

查询?- permute([1,2,3], Ys). 应该成功六次并给出以下答案：

Ys = [1,2,3]
Ys = [2,1,3]
Ys = [2,3,1]
Ys = [1,3,2]
Ys = [3,1,2]
Ys = [3,2,1]

虽然不一定按这个顺序。

建议我们使用我们已经创建的谓词，到目前为止我有这个：

insert([], Y, [Y]).
insert([H|T], Y, [Y, H|T]).
insert([H|T], Y, [H|T2]) :- insert(T, Y, T2).

permute([], []).
permute([H|T], X) :- insert(T, H, X).

当我查询它时，我只得到了我应该得到的一半，而且我无法切换列表的顺序。

?- permute([1,2,3], Ys).
Ys = [1,2,3],
Ys = [2,1,3],
Ys = [2,3,1].

非常感谢任何建议！

Answer 1

只是为了好玩，这里有一个完全基于append/3的解决方案：

permute(XX, [B|YY]) :-
    append(AA,[B|CC],XX),  % remove random element B from XX
    append(AA,CC,DD),      % DD is XX without B
    permute(DD,YY).        % permute DD into YY
permute([],[]).

简单易懂，但可能比已经建议的传统实现效率低（尽管操作原理完全相同；请阅读 cmets）。