odd(C,N) :- C is N mod 2.
odd(X, 3).
GNU Prolog 1.3.1 By Daniel Diaz Copyright (C) 1999-2009 Daniel Diaz X = 1 (1 ms) yes
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!