%% ?- answer(ok).

answer(ok) :- _ is log(0).