%% ?- answer(X0).

answer(eq_scalar_number_atom) :- (7 = '7').