%% ?- answer.

answer :-
    sub_atom(abc, 0, -1, 4, Sub).