is_prime predicate
lis_prime(X) tells whether or not X is prime (has any even divisors other than itself and 1)
lis_prime(11) ==> 1
lis_prime(12) ==> 0
lNote: The argument must be an integer.