Michele Dinardo
Questa tesi, logica prosecuzione della precedente, mira a definire a livello di supporto il concetto di progetto Prolog in ambiente Eclipse, specializzandolo sulle caratteristiche tipiche di tuProlog quali leggerezza, minimalità ed elevata configurabilità. In particolare, il primo obiettivo è far sì che un singolo progetto Prolog possa contenere più di un motore tuProlog, in modo armonico e non penalizzante sotto il profilo delle prestazioni della piattaforma Eclipse. Ogni motore dovrà essere in grado di leggere una qualsiasi combinazione delle teorie contenute nei file appartenenti al singolo progetto: dovrà altresì essere possibile porre una query ad un qualsiasi numero di interpreti tuProlog, gestendo in maniera adeguata la visualizzazione dei risultati ottenuti. Infine, ogni motore dovrà poter essere configurato singolarmente, in particolare per quello che riguarda le librerie di predicati e funtori da caricare.
