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. Tale traduzione generalizza la libreria di interfacciamento Java/Prolog permettendo di interfacciarsi, in linea di principio, a ogni linguaggio disponibile su piattaforma .NET, tramite il concetto di convenzione linguistica. Obiettivo di questa tesi è progettare ed effettuare test approfonditi della nuova libreria e delle relative convenzioni per verificarne la solidità ed eventualmente suggerire estensioni o modifiche al fine di ampliare il set dei linguaggi supportati.
+ eventuale rivisitazione critica OOLib