SoloCodigo

Buenas,
he visto un par de cosas que a lo mejor te pueden ayudar...

Lo primero es prácticamente todo estético aunque tambien tiene cierta funcionalidad:

Tu código

    type
        tnum=smallint;

    var

       a:tnum;
       b:tnum;
       s:tnum;

Yo lo simplificaría en un:
Si has estado haciendo pruebas, está muy bien lo de declarar el tipo "tnum" porque con cambiar ahí, es suficiente, pero para un programa pequeño, yo lo haría más fácil a la vista. De todas formas, para mi lo más importante es darle nombres "útiles" a las variables porque si en este programa, que ya es pequeño, cuesta saber qué variable corresponde a cada cosa, en uno grande... imagínate... te dejas los ojos. (He usado integer por usar uno, puedes elegir el que mejor te vaya). Fíjate que al final del programa en el procedimiento "mostrar" igualas estás variables a otras simplemente para ponerles otro nombre... si esto lo haces al principio, ya no te perderás a lo largo del programa y tampoco tendrás que hacer eso al final.

Tu código
procedure ingresar(var a:tnum;var b:tnum;var s:tnum);


begin
     writeln('ingrese numero');
     read(a);
     writeln('ingrese numero');
     read(b);
     s:=0
end;

Yo pondría:

Ahora a al tema:
Comento sobre tu código.

Código: Pascal

1. procedure div_resto(a,b,s:tnum); {Si dentro de los paréntesis no pones "var" cuando hagas la llamada recursiva, estarás pasando los mismos valores (esto no lo sé con seguridad, pero si lo pones, te curas en salud, ya que si pasas los mismo valores tendrías un bucle infinito.}
2. begin
3.      if a>=b
4.         then
5.             begin
6.                  a:=a-b;
7.                  inc(s) {Esto no sé que es, supongo que quieres incrementar "s" --> s:= s + 1;}
8.             end
9.      else  {Si a < b no tengo muy claro este punto, ya que "a" que posteriormente dices que es el resto no se sabe si será cero o no, ya que es sería una división con decimales pero cuyo resto no conocemos, con lo cual... habría que mirar bien qué pasaría en este caso}
10.         begin
11.              a:=0;
12.              s:=0
13.         end;
14.     div_resto(a-b,b,s+1) {Si no me equivoco (no tengo el compilador instalado) sería algo del estilo --> Procedure div_resto (...);}{Por otro lado, las variables, las estás modificando de nuevo antes de volver a usarlas. Ejemplo a= 100, b = 5. Entra el procedimiento a - b = 95 = a y s = 0 + 1. Llegas al final y le estás enviando los datos de nuevo pero envías Procedure div_resto (95-5, 5, 1+1). Cuando vuelvas a usar los datos, te habrás saltado un paso}{Sería Procedure div_resto (a, b, s);}
15. end;
16.  

Y para finalizar, tu procedimiento "mostrar", yo lo eliminaría por completo ya que con substituirlo por un par de WriteLn del estilo:

No estoy seguro si es lo que buscabas y tampoco si funciona pero espero que te sirva para algo.

Un saludo.