このディレクトリの索引

単位行列(N,_単位行列) :-
        単位行列(1,N,_単位行列).

単位行列(M,N,[]) :-
        M > N,!.
単位行列(M,N,[_行|R]) :-
        単位行列(M,1,N,_行),
        M2 is M + 1,
        単位行列(M2,N,R).

単位行列(M,N1,N,[]) :-
        N1 > N,!.
単位行列(M,M,N,[1|R]) :-
        N2 is M + 1,
        単位行列(M,N2,N,R).
単位行列(M,N1,N,[0|R]) :-
        \+(N1 = M),
        N2 is N1 + 1,
        単位行列(M,N2,N,R).