LibraryManagement/
├── src/
│   ├── main.adb
│   ├── book.ads
│   ├── book.adb
│   ├── library.ads
│   └── library.adb
└── README.md

package Book is
    type Book_Type is record
        Title  : String (1 .. 100);
        Author : String (1 .. 100);
        ISBN   : String (1 .. 13);
    end record;

    procedure Print_Book (B : in Book_Type);
end Book;

package body Book is
    procedure Print_Book (B : in Book_Type) is
    begin
        Put_Line ("Title: " & B.Title);
        Put_Line ("Author: " & B.Author);
        Put_Line ("ISBN: " & B.ISBN);
    end Print_Book;
end Book;

with Book;

package Library is
    type Library_Type is limited private;

    procedure Initialize (L : out Library_Type);
    procedure Add_Book (L : in out Library_Type; B : in Book.Book_Type);
    procedure List_Books (L : in Library_Type);
    procedure Remove_Book (L : in out Library_Type; ISBN : in String);

private
    type Book_Array is array (Natural range <>) of Book.Book_Type;
    type Library_Type is record
        Books : Book_Array (1 .. 100);
        Count : Natural := 0;
    end record;
end Library;

with Ada.Text_IO; use Ada.Text_IO;
with Book;

package body Library is
    procedure Initialize (L : out Library_Type) is
    begin
        L.Count := 0;
    end Initialize;

    procedure Add_Book (L : in out Library_Type; B : in Book.Book_Type) is
    begin
        if L.Count < L.Books'Length then
            L.Count := L.Count + 1;
            L.Books(L.Count) := B;
        else
            Put_Line ("Library is full.");
        end if;
    end Add_Book;

    procedure List_Books (L : in Library_Type) is
    begin
        for I in 1 .. L.Count loop
            Book.Print_Book (L.Books(I));
            New_Line;
        end loop;
    end List_Books;

    procedure Remove_Book (L : in out Library_Type; ISBN : in String) is
    begin
        for I in 1 .. L.Count loop
            if L.Books(I).ISBN = ISBN then
                for J in I .. L.Count - 1 loop
                    L.Books(J) := L.Books(J + 1);
                end loop;
                L.Count := L.Count - 1;
                exit;
            end if;
        end loop;
    end Remove_Book;
end Library;

with Ada.Text_IO; use Ada.Text_IO;
with Book;
with Library;

procedure Main is
    L : Library.Library_Type;
    B : Book.Book_Type;
    Choice : Character;
begin
    Library.Initialize (L);

    loop
        Put_Line ("Library Management System");
        Put_Line ("1. Add Book");
        Put_Line ("2. List Books");
        Put_Line ("3. Remove Book");
        Put_Line ("4. Exit");
        Put ("Enter your choice: ");
        Get (Choice);
        case Choice is
            when '1' =>
                Put ("Enter Title: ");
                Get_Line (B.Title);
                Put ("Enter Author: ");
                Get_Line (B.Author);
                Put ("Enter ISBN: ");
                Get_Line (B.ISBN);
                Library.Add_Book (L, B);
            when '2' =>
                Library.List_Books (L);
            when '3' =>
                Put ("Enter ISBN to remove: ");
                Get_Line (B.ISBN);
                Library.Remove_Book (L, B.ISBN);
            when '4' =>
                exit;
            when others =>
                Put_Line ("Invalid choice. Please try again.");
        end case;
    end loop;
end Main;