?- incr_numerical_string("123", S2).
S2 = "124".