Subversion Repositories programming

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
107 ira 1
even(X) :- nat(Y), X is 2*Y.
2
odd(X) :- nat(Y), X is 2*Y+1.
3