%% ?- answer(X0).

answer(eq_char_list_number) :- ("7" = 7).