Antonio Danilo Santoro
Questa tesi si pone l?obiettivo di realizzare una versione di tuProlog per il Framework Microsoft .NET in grado di supportare il meccanismo linguistico che Prolog offre per la gestione delle eccezioni. Questo lavoro riprende un processo di reingegnerizzazione di tuProlog iniziato nel 2007, nel quale è stata compiuta la conversione di tale applicazione verso l'ambiente .NET, utilizzando il linguaggio Csharp (C#) e il Framework 2.0, aggiungendoci il supporto delle eccezioni coerentemente con quanto inserito in tuProlog Java 3.0 (tesi Iuliani)