このディレクトリの索引
#  行列の中から全ての要素が同一のn次の正方行列を切り取り、左上隅の行列位置と正方行列を返す。
#

行列の中から全てが同一要素の正方行列を切り取る(_行列,_n,_起点行,_起点列,_同一の要素,_正方行列) :-
        length([_|L0],_起点行),
        length(L,_n),
        length([_|L01],_起点列),
        length(L2,_n),
        append(L0,L,R1,_行列),
        findall(L2,(
                   append(_,[L3|_],L),
                   append(L01,L2,_,L3),
                   all(L2,_同一の要素)),
                _正方行列),!.