このディレクトリの索引
#  
#  @haroperiさんの20120420のツイートより
#  
#  双方向性のあるQuicksortが書けないので寝るです。だめだもうだめだ。 *喪中*
#  

双方向性の昇順整列(L1,L2) :-
        length(L1,Len),
        length(L2,Len),
        length(Ln,Len),!,
        順列(L2,Ln,L1),
        昇順(L2).

順列(Y,[],[]).
順列(Y,[_|Ln],[A|X]) :-
        del(A,Y,Z),
        順列(Z,Ln,X).

del(A,[A|X],X).
del(A,[B|X],[B|Y]) :-
        del(A,X,Y).

昇順([_]).
昇順([A,B|R]) :-
        A @=< B,
        昇順([B|R]).