is_odd(X) :- mod(X,2) is 1. is_even(X) :- mod(X,2) is 0.
X=3. ?-is_odd(X).
GNU Prolog 1.3.1
By Daniel Diaz
Copyright (C) 1999-2009 Daniel Diaz
X = 3
yes
uncaught exception: error(syntax_error('user_input:2 (char:3) . or operator expected after expression'),read_term/3)