even.pl 89 B

12345
  1. even(0).
  2. even(X) :- X>0, X1 is X-1, odd(X1).
  3. odd(1).
  4. odd(X) :- X>1, X1 is X-1, even(X1).