このディレクトリの索引
#  
#  全て同じ文字からなる文字列だ
#  

全て同じ文字からなる文字列だ(_文字列) :-
        全て同じ文字からなる文字列だ(_文字列,_同じ文字).

全て同じ文字からなる文字列だ('',_).
全て同じ文字からなる文字列だ(_文字列,_同じの文字) :-
        sub_atom(_文字列,0,1,_,_同じの文字),
        sub_atom(_文字列,1,_,0,_残り文字列),
        全て同じ文字からなる文字列だ(_残り文字列,_同じの文字).