-- Stephanie Taylor
-- Ada has two different sets of logic operators - those with Lazy evaluation
-- and those without
-- AND and OR do not use lazy evaluation
-- AND THEN and OR ELSE do
with Ada.Text_IO; use Ada.Text_IO;
procedure Lazy_Evaluation is
    X : Integer := 0;
    Y : Integer := 1;
begin
  Put_Line("Hello, world!");
  if X < Y then
    Put_Line( "X < Y");
  end if;
  if X < Y or else Y/X > 0 then
    Put_Line( "X < Y or Y/X");
  end if;
  if X < Y or Y/X > 0 then
    Put_Line( "X < Y or Y/X");
  end if;
end Lazy_Evaluation;