tuProlog è un sistema Prolog sviluppato in Java, ma distribuito anche come applicazione .NET grazie a un processo di traduzione automatizzato reso disponibile dallo strumento IKVM. Constatata l'obsolescenza di IKVM rispetto a Java, l'obiettivo di questa tesi è valutare l'impatto della migrazione a Java 9 sul processo di sviluppo di tuProlog.NET. A questo fine, vengono analizzati comparativamente diversi approcci per valutare se permettano di impostare un processo di sviluppo alternativo o comunque recuperare in altra forma le funzionalità peculiari di tuProlog.NET di maggior interesse.
