Marco Donato Torsello
tuProlog è un interprete Prolog scritto in Java, che tuttavia esiste anche in versione per la piattaforma .NET grazie alla traduzione automatica del bytecode Java in DLL. Ciò permette a ttuProlog.NET di interoperare bidirezionalmente coi linguaggi a oggetti disponibili su tale piattaforma, allo stesso modo in cui il "fratello" tuProlog per java consente la piena interoperabilità col linguaggio Java. Nel mondo .NET, tuttavia, la pluralità di linguaggi offerti dalla piattaforma aggiunge una ulteriore dimensione, che offre possibilità specifiche. Obiettivo di questa tesi, che si inserisce come logica prosecuzione di altre precedenti, è focalizzarsi sulle possibilità aperte da tuProlog-NET come "ponte" fra i linguaggi disponibili sulla piattaforma .NET, ingegnerizzando e testando diversi esempi e casi d'uso che ne illustrino potenzialità e limiti.
