fork download
  1. check(C,N):- C is N mod 2.
  2. odd(N) :- check(C,N) = 1.
  3.  
Success #stdin #stdout 0.02s 68352KB
stdin
odd(1).
stdout
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz

no