Prolog - Como saber si un numero es primo en ProLog?

Buenas a todos, estaba buscando por Internet como saber si un numero es primo pues estoy empezando en prolog y aun no le pillo bien. Buscando encontré esto:

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.

Me funciona pero no entiendo bien que es el Sm, que valor tiene o que función cumple en la función, si alguien pudiera explicármelo estaría muy agradecido.

Gracias de antemano ^^

Ola bueno en Sm se llama a la función cicloP recursivamente hasta que este llegue al caso base que nos dice que cuando
A > N entonces S tendrá el valor 0, la regla N=:=1 esta de mas ya que el 1 no se considera primo por tener solo un divisor

Aqui te dejo otra forma de saber si un numero es primo con funciones recursivas

Como se haría si tuviéramos una lista de varios números e identificar cuales de esos números son primos en prolog?