Progetto e sviluppo del supporto all'interoperabilità fra l'interprete tuProlog e linguaggi su piattaforma Microsoft.NET

Questa tesi mira a sviluppare una libreria di interfacciamento (denominata CLILibrary) fra l'interprete tuProlog.NET e la Common Language Infrastructure della piattaforma Microsoft .NET, estendendo la libreria di interfacciamento CSharpLibrary che già svolge un ruolo analogo nei confronti del solo linguaggio C#. La tesi, che affronta tematiche inter-paradigma con prospettive di ricerca, richiede una piena comprensione del modello già definito di interoperabilità fra i paradigmi a oggetti (Java) e dichiarativo (Prolog), onde giungere a una proposta quanto più possibile uniforme per i diversi linguaggi ospitati nell'ambiente .NET.