このディレクトリの索引

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