Questa tesi ha come obiettivo il progetto, e il successivo sviluppo, di una nuova GUI per l'interprete tuProlog. In fase di progettazione sarà necessario formalizzare, dal punto di vista ingegneristico, i principi e i vincoli che avranno guidato decisioni architetturali e di usabilità. In fase di implementazione, alcuni limiti della interfaccia attuale dovranno essere superati; in particolare, si richiede di svincolarla dal toolkit grafico non standard attualmente utilizzato, e di uniformarne il comportamento su diversi sistemi operativi.

Enrico Denti (Supervisor)

Giulio Piancastelli Mirko Viroli (Co-supervisors)