このディレクトリの索引
#  
#  permutation(Xs, Ys) : リストXsを並べ替えるとリストYsになる
#  
リストXsを並べ替えるとリストYsになる(Xs,Ys) :-
        length(Xs,Len),
        順列(Xs,Len,Ys).

順列(Y,0,[]).
順列(Y,N,[A|X]) :-
        del(Z = Y - A),
        M is N - 1,
        順列(Z,M,X) .

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

/*
del(X = [A|X] - A).
del([B|Y] = [B|X] - A) :-
        del(Y = X - A).
*/