odd(X):- 1 is mod(X,2).comp(X):- odd(X) = 1.
comp(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!