tuProlog è un interprete Prolog scritto in Java, di cui è stata realizzata una versione per la piattaforma Microsoft .NET tramite IKVM, uno strumento di traduzione automatica del bytecode Java. Se tuProlog for Java rende possibile una piena integrazione fra Prolog e Java, tuprolog.NET abilita l'interoperabiltà fra Prolog e qualunque linguaggio .NET, ivi incluso Java stesso in quanto tradotto da IKVM.
In tale contesto, obiettivo di questa tesi, che si inquadra come logica prosecuzione di altre svolte di recente, è sfruttare queste potenzialità per ingegnerizzare applicazioni che sfruttino più linguaggi, ciascuno per ciò che ha di meglio da offrire, così da "stressare" l' approccio in situazioni realistiche.