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 include il porting del componente P@J della versione tuProlog4Java, che consente di esprimere inline in Prolog il body di un metodo java. Obiettivo di questa tesi è investigare in profondità analogie e differenze dell'iniezione di codice Prolog nei linguaggi disponibili su piattaforma .NET, con particolare riguardo all'inferenza dei tipi e al necessario, conseguente ampio collaudo.