Ada中的过载子程序是指在同一作用域内，可以定义多个具有相同名字但参数列表不同的子程序。当调用该子程序时，编译器会根据传递的参数类型和数量来确定调用哪个子程序。

以下是一个示例代码，展示了如何在Ada中定义和使用过载子程序：

-- 定义过载子程序
procedure Print_Number(X: Integer) is
begin
    Ada.Text_IO.Put_Line("Integer: " & Integer'Image(X));
end Print_Number;

procedure Print_Number(X: Float) is
begin
    Ada.Text_IO.Put_Line("Float: " & Float'Image(X));
end Print_Number;

-- 调用过载子程序
procedure Main is
    X_Integer: Integer := 10;
    X_Float: Float := 3.14;
begin
    Print_Number(X_Integer); -- 调用Print_Number(Integer)
    Print_Number(X_Float);   -- 调用Print_Number(Float)
end Main;

在上面的示例中，我们定义了两个名为Print_Number的过载子程序，一个接受整数参数，另一个接受浮点数参数。在Main过程中，我们分别调用了这两个子程序，并传递了不同类型的参数。

输出结果将是：

Integer: 10
Float: 3.140000

通过使用过载子程序，我们可以根据参数类型的不同来选择不同的行为。这有助于提高代码的可读性和可维护性。