%% goal: answer(X0)

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