-- Chapter 4 - Program 2
with Ada.Text_IO, Ada.Integer_Text_IO;
use Ada.Text_IO, Ada.Integer_Text_IO;

procedure Compares is

   package Enum_IO is new Ada.Text_IO.Enumeration_IO(BOOLEAN);
   use Enum_IO;

   Index, Count           : INTEGER := 12;
   Truth, Lies, Question  : BOOLEAN;

begin
   Truth := Index = Count;      -- This is TRUE
   Lies := Index < Index;       -- This is FALSE

                            -- Examples of all BOOLEAN operators
   Question := Index =  Count;      -- Equality
   Question := Index /= Count;      -- Inequality
   Question := Index <  Count;      -- Less than
   Question := Index <= Count;      -- Less than or equal
   Question := Index >  Count;      -- Greater than
   Question := Index >= Count;      -- Greater than or equal

                       -- Examples of composite BOOLEAN expressions
   Question := Index = 12 and Count = 12 and Truth and TRUE;
   Question := Index /= 12 or FALSE or Count > 3 or Truth;
   Question := (Truth or Lies) and (Truth and not Lies);
   Question := Truth xor Lies;

                       -- now for short circuit evaluation
   Question := Index /= Count and then Index = 9/(Index - Count);
   Question := Index = Count or else  Index = 9/(Index - Count);
   Question := (Index = Count) or else (Index = 9/(Index - Count));

end Compares;




-- Result of execution

--   (No output generated by this program.)