このディレクトリの索引

非決定性置換(_文字列,_置換対象文字列,_置換文字列,_文字列) :- 置換対象文字列が見つからなかったら文字列をそのまま返し停止する(_文字列,_置換対象文字列),!. 非決定性置換(_文字列,_置換対象文字列,_置換文字列,_置換された文字列) :- '置換対象文字列が見つかったら、順に一旦停止しながら置換して行く。'(_文字列,_置換対象文字列,_置換文字列,_置換された文字列). 置換対象文字列が見つからなかったら文字列をそのまま返し停止する(_文字列,_置換対象文字列) :- \+(sub_atom(_文字列,_,_,_,_置換対象文字列)). '置換対象文字列が見つかったら、順に一旦停止しながら置換して行く。'(_文字列,_置換対象文字列,_置換文字列,_置換された文字列) :- 置換対象文字列が見つかったら(_文字列,_前文字列,_置換対象文字列,_後文字列),!, 順に一旦停止しながら置換して行く(_置換対象文字列,_置換文字列,_前文字列,_後文字列,_置換された文字列). 置換対象文字列が見つかったら(_文字列,_前文字列,_置換対象文字列,_後文字列) :- 副文字列(_文字列,_前文字列,_置換対象文字列,_後文字列). 順に一旦停止しながら置換して行く(_置換対象文字列,_置換文字列,_前文字列,_後文字列,_置換された文字列) :- atomic_list_concat([_前文字列,_置換文字列,_後文字列],_置換された文字列). 順に一旦停止しながら置換して行く(_置換対象文字列,_置換文字列,_前文字列,_後文字列,_置換された文字列) :- 非決定性置換(_後文字列,_置換対象文字列,_置換文字列,_置換された文字列_2), atomic_list_concat([_前文字列,_置換文字列,_置換された文字列_2],_置換された文字列). 副文字列(_文字列,_前文字列,_副文字列,_後文字列) :- atom_concat(_前文字列,_残り文字列,_文字列), atom_concat(_副文字列,_後文字列,_残り文字列).