Subversion Repositories programming

Rev

Blame | Last modification | View Log | RSS feed 

even(X) :- nat(Y), X is 2*Y.
odd(X) :- nat(Y), X is 2*Y+1.