2 lines
50 B
INI
2 lines
50 B
INI
?- incr_numerical_string("123", S2).
|
|
S2 = "124".
|
?- incr_numerical_string("123", S2).
|
|
S2 = "124".
|