with Ada.Text_Io, Ada.Integer_Text_Io;
use Ada.Text_Io, Ada.Integer_Text_Io;

-- Calcul de n! = 1 * 2 * ... * n
procedure Ex01a is
   Nb : Natural;
   Res : Natural;
begin
   -- saisie
   Put("Veuillez rentrer un nombre >= 0 : ");
   Get(Nb);

   -- Algo
   Res := 1;
   for I in 1..Nb loop
     Res := Res * I;
   end loop;

   -- Affichage
   Put(Nb, 0); Put("! = "); Put(Res, 0);
end;