%% ?- answer(X0, X1).

answer(number_string_atom_input, X) :- number_string(X, '42').