如何在Prolog中混洗列表，同时保持内部顺序

% 定义混洗规则
shuffle([], []).
shuffle([X], [X]).
shuffle(List, Shuffled) :-
    length(List, Length),
    split(List, Length, Left, Right),
    shuffle(Left, ShuffledLeft),
    shuffle(Right, ShuffledRight),
    merge(ShuffledLeft, ShuffledRight, Shuffled).

% 辅助函数：将列表分为两部分
split(List, N, Left, Right) :-
    length(Left, N),
    append(Left, Right, List).

% 辅助函数：合并两个列表
merge([], List, List).
merge(List, [], List).
merge([X|Xs], [Y|Ys], [X|Result]) :-
    merge(Xs, [Y|Ys], Result).

% 示例用法
?- shuffle([1, 2, 3, 4, 5], Shuffled).
Shuffled = [1, 3, 2, 5, 4].