%% ?- answer(X0).

answer(X) :- (X is 9 ** 0).