このディレクトリの索引

# # 文字列の中で或る文字がn回以上続いた部分がある # 或る文字がn回以上続いた部分がある(_n,_或る文字,_文字列) :- sub_atom(_文字列,_,_文字列長,_,_適合文字列), _文字列長 >= _n, forall(sub_atom(_適合文字列,_,1,_,_文字),_或る文字 = _文字).