prop(X,R) :- prime(X), R is prime; 
		odd(X), R is odd; 
		even(X), R is Even.
even(X) :- 0 is mod(X,2).
odd(X) :- not(even(X)).
