Simple Interface

--  Computes travel time

with Text_IO;

procedure Travel_Timing is
  package I_IO is new Text_IO.Integer_IO(Integer);
  package F_IO is new Text_IO.Float_IO(Float);

  speed : Integer;  --  km/h
  distance: Float;  --  km
  time : Float;     --  h

begin --Travel_Timing 
  Text_IO.Put(" What's your speed (in km/h)? ");
  I_IO.Get(speed);
  Text_IO.Put(" How many km to your destination? ");
  F_IO.Get(distance);

  time := distance / float(speed); 
  Text_IO.Put("It will take you ");
  f_io.put(time);
  Text_IO.Put_Line(" h to get there. ");
end Travel_Timing;