このディレクトリの索引

単位行列(_n,_単位行列) :-
        length(_単位行列,_n),
        findall(L,(
                    nth1(M,_単位行列,L),
                    行の生成(_n,M,L)),
               _単位行列).

行の生成(_n,M,L) :-
        length(L,_n),
        append(L0,[1|R],L),
        length([_|L0],M),
        all(L0,0),
        all(R,0).

all([],_).
all([A|R],A) :-
        all(R,A).