פורטל:תוכנה/תמונה נבחרת/9

    with Ada.Integer_Text_IO;

    procedure Factorial is
         Counter   : Integer := 5;
         Factorial : Integer := 1;
    begin
         while Counter > 0 loop
           Factorial := Factorial * Counter;
           Counter   := Counter - 1;
         end loop;

         Ada.Integer_Text_IO.Put (Factorial);
    end Main;

שימוש בלולאת While בתוכנית מחשב בשפת Ada המחשבת !5.