tuProlog è un interprete Prolog scritto in Java, di cui è stata realizzata una versione prototipale per la piattaforma Microsoft .NET tramite IKVM, uno strumento di traduzione automatica del bytecode Java. Sebbene tale traduzione sia funzionante, permangono alcuni problemi specificatamente riguardanti il mapping dell'interfaccia grafica Swing. Obiettivo di questa tesi è dunque approfondire le tecniche adottate in IKVM riguardo al porting delle UI, per identificare le ragioni degli attuali problemi e proporre possibili soluzioni.
