以下代码示例演示了如何使用Ada语言编写一个子程序（函数），该子程序可用于确定一组数字中的最大值。

with Ada.Text_IO;                --使用标准Ada库中的Text_IO子程序

procedure Max_Number is            --程序名为“Max_Number”
   type Num_Array is array (1..5) of Integer; --定义一个整数数组类型
   A : Num_Array := (12, 7, 19, 3, 5);        --定义包含5个数字的数组
   
   function Max (B : Num_Array) return Integer is --定义子程序Max，其输入为Num_Array类型的数组B，输出为最大值（整数类型）
      Max_N : Integer := B(1);  --初始化最大值为数组中的第一个元素
   begin
      for I in 2..B'Length loop     --循环遍历数组中的所有元素
         if B(I) > Max_N then       --如果当前元素比最大值Max_N大
            Max_N := B(I);          --将当前元素赋值为最大值
         end if;
      end loop;
      return Max_N;                 --返回最大值
   end Max;                         --子程序Max的定义结束
   
begin
   Ada.Text_IO.Put("The maximum number is: ");
   Ada.Text_IO.Put(Integer'Image(Max_Number.Max(A))); --调用子程序Max并输出最大值
end Max_Number;

代码说明：

• 定义了一个名为“Num_Array”的整数数组类型，其大小为1到5；
• 定义了一个名为“A”的数组，包含了5个数字；
• 定义了一个名为“Max”的子程序，其输入为一个Num_Array类型的数组，输出为一个整数类型的值。在这个子程序内，使用了一个for循环来遍历整个数组并找到其中的最大值；
• 在主程序中，调用了子