Predicado que nos indique si un elemento existe en una lista en prolog

Vamos a hacer un predicado que nos indique si un elemento existe en una lista en prolog: 

existe(Elemento, [Elemento | _]).

existe(Elemento, [_ | Tail]) :-

    existe(Elemento, Tail).

Si la probamos : 

existe(5,[1,2,3,4])

false

existe(4,[1,2,3,4])

true