%% goal: answer(X0)

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