Ali Nadjoui
tuProlog tuProlog è un interprete Prolog scritto in Java, attualmente giunto alla versione 2.6. Nonostante le svariate migliorie e ottimizzazioni introdotte, sussistono tuttora elementi di penalizzazione in diverse aree. Obiettivo di questa tesi è esplorare alcune possibili linee di refactoring architetturale, con particolare riferimento alla tassonomia dei tipi e all'embedding di alcune strutture, valutando eventuali alternative e misurandone l'impatto sulle prestazioni anche con riferimento a sistemi prolog commerciali e open source.
