even(0).even(s(s(X))):-even(X).odd(s(0)).odd(s(s(X))):-odd(X).
even(4).
GNU Prolog 1.3.1 By Daniel Diaz Copyright (C) 1999-2009 Daniel Diaz no
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!