Write a prolog program to check for prime numbers.

predicates
     prime(integer)
     checkprime(integer,integer) 
clauses
     prime(2).
     prime(3).
     prime(X):-checkprime(X,2).
     checkprime(X,Y):-X<>Y,
     
     Z = X mod Y,
     Z>0,
     R = Y+1,
     checkprime(X,R). 
     checkprime(X,Y):-X=Y,prime(2).
     checkprime(X,Y):-
                    X<>Y,
                    Z= X mod Y,
                    Z=0,
                    not (prime(3)).