%% goal: answer(X0)

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