even(0).even(s(s(X))):-even(X).odd(s(0)).odd(s(s(X))):-odd(X).halt.
even(4).
prog.pl:5: fatal error: redefining built-in predicate halt/0 compilation failed
Standard output is empty
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!