Results on learning odd and even

Learning odd and even: experimental results.

1. even(X1) =. true :- zero(X1) =. true.

2. odd(X1) =. true :- succ(X2,X1) =. true,even(X2) =. true.

3. even(X1) =. true :- succ(X2,X1) =. true,odd(X2) =. true.