Michele Damian
Questa tesi mira ad analizzare le prestazioni dell?interprete tuProlog versione 2.1, così da porre le basi per un suo ulteriore miglioramento in versioni successive. L?analisi è effettuata sotto due punti di vista: l?utilizzo della cpu e l?allocazione della memoria heap da parte dei metodi e delle classi del motore. La velocità è misurata sui tempi di esecuzione di alcune teorie tipicamente utilizzate come benchmark per interpreti Prolog, considerate standard per test prestazionali
di questo tipo di motore, cui si uniscono ulteriori teorie con tempi di esecuzione più elevati, sufficientemente alti da poter essere misurati con adeguata accuratezza.
Il lavoro analizza altresì come siano cambiate le prestazioni dell?interprete in seguito al passaggio dalla versione 1 alla versione 2, la quale ha introdotto alcune modifiche a livello architetturale, prendendo come riferimento l?ultima release di ognuna delle due versioni (1.3 e 2.1).
