%% ?- answer(X0).

answer(arg_atom_fails) :- arg(1, atom, _).