comp(A,B) :- A is B.odd(C,N) :- comp(N mod 2, 1).
odd(X, 3).
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!