このディレクトリの索引

#  delete/1を一般化してリストYからR個の要素からなるリストAを抜いた
#  残りがXとなる述語 delete_r/1を定義せよ。

delete_r(LX = L - L1) :-
        append(L0,L1,L2,L),
        append(L0,L2,LX).