%% goal: answer(X0)

answer(division_by_zero_fails) :- (_ is 1 / 0).