libguestfs använder en process kallad "inspection" för att identifiera innehållet i diskavbilder, såsom operativsystem och filsystemslayouter, vilket är avgörande för verktyg som virt-cat och virt-inspector. Den nuvarande implementeringen av "inspection" består av över 6000 rader komplex C-kod, vilket är svårt att underhålla, buggfixa och utöka med nya funktioner. En ny metod föreslås, baserad på ett Prolog-inspirerat logikspråk, där heuristiker uttrycks som regler och fakta för att göra inspektionsprocessen mer modulär och lättförståelig. Författaren har utvecklat en kompilator som översätter dessa logikregler till effektiv C-kod med en "forward chaining"-strategi, vilket möjliggör inbäddning av C-kod direkt i reglerna. Målet är att det nya regelsystemet ska vara snabbare, enklare att underhålla och utöka, samt 100% bakåtkompatibelt med befintliga libguestfs-användare.