odd
predicate
l
odd
(X) tells whether or not X divided by 2
has a remainder of 1.
l
odd(11)
==>
1
l
odd(12)
==>
0
l
Note: The argument must be an integer.