%% ?- answer(X0, X1).

answer(log_one, X) :- (X is log(1)).