member(Elemento, [Elemento|_]). member(Elemento, [_|Cola]):-member(Elemento, Cola).