このディレクトリの索引


全順列(L,LL) :-
        length(L,Len),
        ダミー要素を付加する(Len,L,L_2),
        findall(L_4,(
                    順列(L_2,3,L_3),
                    findall(A,(member(A,L_3),\+(var(A))),L_4)),
               LL_1),
        sort(LL_1,LL).

全組合せ(L,LL) :-
        length(L,Len),
        ダミー要素を付加する(Len,L,L_2),
        findall(L_4,(
                    組合せ(L_2,3,L_3),
                    findall(A,(member(A,L_3),\+(var(A))),L_4)),
               LL_1),
        sort(LL_1,LL).

ダミー要素を付加する(Len,L_1,L_2) :-
        length(L_v,Len),
        append(L_1,L_v,L_2),!.