APICe » Theses » TestingOOLibraryDotNET

Interfacciamento Prolog/CLI in un interprete Prolog su piattaforma .NET 

Valerio Pipolo


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


Enrico Denti (Supervisor)