このディレクトリの索引
http://hibari.2ch.net/test/read.cgi/tech/1272006124/129
#  <問題> 
#  x とy のいずれかがリストL の要素の場合にYes を返すプログラムを書きなさい。 
# 

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