%% ?- answer(X0).

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