#pas
program test;

procedure prog1; //это называется предописание

procedure prog3;
var a:integer;
  begin
     while TRUE do
           begin
         // как сделать выход из этого цикла в процедуру  procedure prog1; например по
         // по условию   (if a = 10)  ( then procedure prog1; не срабатывает )
             if a = 10 then prog1;
          end;
     end;

procedure prog2;

  begin
  ...
    prog3;
  ...
  end;

procedure prog1; //а это - просто описание

  begin
  ...
    prog2;
  ...
  end;

// вход в прогр.

  begin
     procedure prog1;
  end.