>>481
member3(X,[X|_]).
member3(X,[_|R]) :- member3(X,R),!.
だとどうなる?
多分、>>481がテストして不適切だったことがわかる。