answer(max, 42).
answer(sqrt, 9.0).
answer(floor, 3).
answer(ceiling, 4).
answer(trunc, -3).
answer(exp, 1.0).
answer(tan, 0.0).
answer(atan2, 3.1415926535897931).