>>129
'x とy のいずれかがリストL の要素の場合にYes を返す'(_x,_,L) :-
　　　　　　　　append(_,[_x|_],L).
'x とy のいずれかがリストL の要素の場合にYes を返す'(_,_y,L) :-
　　　　　　　　append(_,[_y|_],L).