Prolog - numero primo

%% Este codigo esta mejor que el q encontre en esta pagina es mas corto

%% y ademas que es Recursivo...Att:solitario ing.informatica

%% porsiacazo el metodo se llama verifprimo(N). %%N=valro a verificar

%%----------------------VerifPrimo-------------------------------

cicloP(N,A,S):-A>N,S is 0,!.

 cicloP(N,A,S):- N mod A=:=0,A=\=N,A1 is A+1,cicloP(N,A1,Sm),S is Sm+A,!.

 cicloP(N,A,S):- A1 is A+1,cicloP(N,A1,Sm),S is Sm.

 perfect(N):-cicloP(N,1,T),T=:=N.

verifPrimo(N):-cicloP(N,1,T),T=:=1;N=:=1.