Как посчитать и вывести количество простых чисел на прологе?

primes(x,y):-x mod y = 0,!.
primes(x,y):-y*y >= x,y1 = y + 1
primes(x,y1).
primes1(1):-!.
primes1(2):-!.
primes1(x):-not(primes(x,2)).