Fabrizio Sabbioni
tuProlog è un interprete Prolog scritto in Java. Obiettivo di questa tesi è eseguire su esso un'ampia suite di test, alcuni dei quali attualmente falliscono, andando a ricercare e documentare adeguatamente il motivo di dettaglio di tali fallimenti in modo da porre le basi per la loro correzione, con l'obiettivo finale di un "100% success" sul sottoinsieme di test ritenuto più rilevante e adeguata roadmap per la risoluzione della restante parte.
