このディレクトリの索引

文字列の中である副文字列の最初の出現を検出する(_文字列,_前文字列,_ある副文字列,_後文字列) :- 文字列の中である副文字列の(_文字列,_前文字列,_ある副文字列,_後文字列), 最初の出現を検出する(_前文字列,_ある副文字列). 文字列の中である副文字列の(_文字列,_前文字列,_ある副文字列,_後文字列) :- sub_atom(_文字列,_開始位置,_,_残り文字数,_ある副文字列), sub_atom(_文字列,0,_開始位置,_,_前文字列), sub_atom(_文字列,_,_残り文字数,0,_後文字列). 最初の出現を検出する(_前文字列,_ある副文字列) :- 前文字列の中にある副文字列は存在しない(_前文字列,_ある副文字列). 前文字列の中にある副文字列は存在しない(_前文字列,_ある副文字列) :- \+(sub_atom(_前文字列,_,_,_,_ある副文字列)).