Adelina Benedetti
tuProlog tuProlog è un interprete Prolog scritto in Java, attualmente giunto alla versione 2.5. Recentemente è stata sviluppata una versione preliminare di una libreria per comunicazioni via socket (TCP), modellata tenendo conto delle funzionalità offerte da analoghe librerie nei principali sistemi prolog disponibili. Obiettivo di questa tesi è riprendere tale lavoro, progettare una completa attività di collaudo su tutte le piattaforme attualmente supportate (JavaSE 7, .NET, Android, Eclipse plugin) in vista dell'inclusione di tale libreria nelle release ufficiali, e predisporre eventualmente le modifiche necessarie a conseguire il perfetto funzionamento. Come ulteriore completamento, potrà essere studiata, ed eventualmente implementata, l'estensione alle socket UDP.
