このディレクトリの索引
#
#  文字列の全置換
#
#  文字列置換の一つの方式として、置換可能な候補を
#  先頭から順に置換していくというものがある。
#  この場合、全置換は最終解ということになる。
#

文字列の全置換(_非決定性の置換述語,_全置換) :-
        _非決定性の置換述語 =.. L,
        last(L,_選択項),
        非決定性述語の最後の解(_選択項,_非決定性の置換述語,_全置換).

非決定性述語の最後の解(_選択項,_副目標,_非決定性述語の最後の解) :-
        findall(_選択項,(
                    _副目標),
                L),
        last(L,_非決定性述語の最後の解),!.