このディレクトリの索引

% % 第二引数も順にコピーするリストの結合の途中経過を示す非決定性の述語 % % appendの途中経過を示す非決定性の述語 % % appendの定義は % % append([],L,L). % append([U|X],Y,[U|Z]) :- % append(X,Y,Z). % 第二引数も順にコピーするリストの結合の途中経過([],[V|Y],[V]). 第二引数も順にコピーするリストの結合の途中経過([],[V|Y],[V|Z]) :- 第二引数も順にコピーするリストの結合の途中経過([],Y,Z). 第二引数も順にコピーするリストの結合の途中経過([U|X],Y,[U]). 第二引数も順にコピーするリストの結合の途中経過([U|X],Y,[U|Z]) :- 第二引数も順にコピーするリストの結合の途中経過(X,Y,Z). appendの途中経過([],L,L). appendの途中経過([U|X],Y,[U]). appendの途中経過([U|X],Y,[U|Z]) :- appendの途中経過(X,Y,Z).