このディレクトリの索引


順に置換していく(_置換対象要素,_置換要素,_置換対象ならび,_置換されたならび) :-
        _置換対象ならび = [_要素_1|_残りならび],
        要素が置換対象要素の場合は置換する(_置換対象要素,_置換要素,_要素_1,_要素_2),
        順に置換していく(_置換対象要素,_置換要素,_要素_2,_残りならび,_置換されたならび).

順に置換していく(_置換対象要素,_置換要素,_置換要素,_残りならび,[_置換要素|_残りならび]).
順に置換していく(_置換対象要素,_置換要素,_要素,_残りならび_1,[_要素|_残りならび_2]) :-
        順に置換していく(_置換対象要素,_置換要素,_残りならび_1,_残りならび_2).


要素が置換対象要素の場合は置換する(_置換対象要素,_置換要素,_置換対象要素,_置換要素).
要素が置換対象要素の場合は置換する(_置換対象要素,_,_要素,_要素) :-
        \+(_置換対象要素=_要素).


%  ?- 順に置換していく(a,x,[f,a,y,a,b],L).
%  
%  L = [f,x,y,a,b];
%  L = [f,x,y,x,b];
%  false.
%  ?-