Fixed bug in declarative prime numbers