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

X = 3

yes
uncaught exception: error(instantiation_error,(is)/2)