odd(Y):- Y is Y mod 2.
comp(X):- odd(X).