このディレクトリの索引

単位行列(N,_単位行列) :-
        length(L,N),
        all(L,0),
        findall(L1,select(_,L,1,L1),_単位行列).

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