inc(X,X1) :- X1 is X + 1.

sum(X,Y,Z) :- Z is X + Y.

even(X) :- 0 is X mod 2.