このディレクトリの索引 # # 文字列を置換する。一度置換したものは元に戻ることはなく。 # 文字列を置換する(_残り文字列,_置換対象副文字列,_置換文字列,_置換された文字列) :- 置換対象副文字列の前後を取得する(_文字列,_置換対象副文字列,_前文字列,_残り文字列), atomic_list_concat([_文字列,_置換文字列,_残り文字列],_置換された文字列). 置換対象副文字列の前後を取得する(_文字列,_置換対象副文字列,_前文字列,_残り文字列) :- sub_atom(_文字列,_開始位置,_長さ,_残り文字数,_置換対象副文字列), sub_atom(_文字列,0,_開始位置,_,_前文字列), _残り文字列の開始位置 is _開始位置 + _長さ, sub_atom(_文字列,_残り文字列の開始位置,_残り文字数,_,_残り文字列). % % 置換対象副文字列の前後を取得する/4 の最後のカットを外した。 %