pertenece(X,[X|_]).

pertenece(X,[_|Cola]):- pertenece(X,Cola).