Comment vérifier que un élément existe bien dans une liste ?

exist.erl

% Specification :
% existe/2
% existe(P,L) est vrai si est seulement si il existe 
% un element E appartenant à la liste L qui n'est pas un element de P(E) vrai
% avec L une liste quelconque

% Exemples :
% > existe(fun(E)->E>0 end,[-3,0,-2]).
% false
%
% > existe(fun(E)->E>0 end,[-3,0,2]).
% true

% Réalisation :
% 1) L = [] -> Doit renvoyer faux peut importe P
existe(_,[])->
    false;
% 2) L=/=[] 
%   Si P(E) est vrai alors existe(P,L) est vrai et on renvoie vrai
%   Sinon existe(P,L) est faux alors on rappelle existe(P,L) avec L la liste
existe(P,[Pr|Liste])->
     P(Pr) or existe(P,Liste);