%% goal: answer(ok)

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