%% ?- answer(X0, X1).

answer(exp_zero, X) :- (X is exp(0)).