Problem Statement

Test whether an integer is even or odd. There is more than one way to solve this task:

Let's start with the solution:

even(x) := x mod 2 = 0;
odd(x) := x mod 2 = 1;