如何在Ada中处理闰年

with Ada.Text_IO; use Ada.Text_IO;

procedure Leap_Year is
   year : Integer;

   function Is_Leap_Year (year : Integer) return Boolean is
   begin
      if (year mod 4 = 0 and year mod 100 /= 0) or (year mod 400 = 0) then
         return True;
      else
         return False;
      end if;
   end Is_Leap_Year;

begin
   Put("Enter a year: ");
   Get(year);

   if Is_Leap_Year(year) then
      Put_Line(year'Image & " is a leap year.");
   else
      Put_Line(year'Image & " is not a leap year.");
   end if;
end Leap_Year;