Odd_even(X). :- mod(X,2) @>= 1.
?- Odd_even(5)
prog.pl:1:9: syntax error: . or operator expected after expression prog.pl:1-2: warning: singleton variables [X] for directive prog.pl:1-2: warning: unknown directive (@>=)/2 - maybe use initialization/1 - directive ignored 1 error(s) compilation failed
Standard output is empty