>>127
'x とy 両方ともリストL の要素の場合だけYes を返す'(_x,_y,L) :-
　　　　　　　　append(_,[_x|_],L),
　　　　　　　　append(_,[_y|_],L).