%% goal: answer(X0, X1)

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