>>304
Prologなんて

member(A,[A|_]).
member(A,[_|R]) :- member(A,R).

がわかればいいんだよ。あと覚えなくちゃならない
プログラムパターンは極めて少ない。