このディレクトリの索引
%  
%  少なくとも一度は置換する。
%  
%%%% 差分リストを用いた置換述語 %%%%%%

filter(L1,L2) :-
        置換(L1,L2,R1,R2),
        filter_1(R1,R2).
filter([A|R1],[A|R2]) :-
        filter(R1,R2).

filter_1([],[]).
filter_1(L1,L2) :-
        置換(L1,L2,R1,R2),
        filter_1(R1,R2).
filter_1([A|R1],[A|R2]) :-
        filter_1(R1,R2).

置換([c,d|R1],[x|R2],R1,R2).
置換([c|R1],[y,y|R2],R1,R2).
置換([d,e|R1],[z|R2],R1,R2).