このディレクトリの索引
/*

順列(_,0,[]).
順列(_値ならび,_要素数,[_ある値|_順列]) :-
select(_ある値,_値ならび,_残り値ならび),
succ(_要素数_1,_要素数),
順列(_残り値ならび,_要素数_1,_順列).

*/


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