%% ?- answer(X0).

answer(N) :- number_string(N, '42').