このディレクトリの索引
#  
#  文字列を置換する。一度置換したものは元に戻ることはなく。
#

文字列を置換する(_残り文字列,_置換対象副文字列,_置換文字列,_置換された文字列) :-
        置換対象副文字列の前後を取得する(_文字列,_置換対象副文字列,_前文字列,_残り文字列),
        atomic_list_concat([_文字列,_置換文字列,_残り文字列],_置換された文字列).

置換対象副文字列の前後を取得する(_文字列,_置換対象副文字列,_前文字列,_残り文字列) :-
        sub_atom(_文字列,_開始位置,_長さ,_残り文字数,_置換対象副文字列),
        sub_atom(_文字列,0,_開始位置,_,_前文字列),
        _残り文字列の開始位置 is _開始位置 + _長さ,
        sub_atom(_文字列,_残り文字列の開始位置,_残り文字数,_,_残り文字列).


%
%  置換対象副文字列の前後を取得する/4 の最後のカットを外した。
%