%% goal: answer(X0)

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