%% goal: answer(X0, X1)

answer(atom_string_number_input, X) :- atom_string(X, 42).