plus(X,Y,Z) :-
        integer(X),
        integer(Y),
        Z is X + Y.

minus(X,Y,Z) :-
        integer(X),
        integer(Y),
        Z is X - Y.

mult(X,Y,Z) :-
        integer(X),
        integer(Y),
        Z is X * Y.

div(X,Y,Z) :-
        integer(X),
        integer(Y),
        Y > 0,
        Z is X / Y.

neg(X,Y) :-
        integer(X),
        Y is -X.

num(X) :-
        between(-10,10,X).