even predicate
leven(X) tells whether or not X is evenly divisible by 2.
leven(11) ==> 0
leven(12) ==> 1
lNote: The argument must be an integer.