% Integer-preserving unary arithmetic.
%% ?- answer(X0, X1).

answer(neg, X) :- (X is -(7)).
answer(abs, X) :- (X is abs(-7)).