%% ?- answer.

answer :-
    abolish(atom/1).