Estensione del plugin tuProlog su piattaforma Eclipse: supporto per istanze multiple dell'interprete


 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.

    

Thesis

Supervision

— supervisor
Enrico Denti
— co-supervisor
Giulio Piancastelli

Category

1st-Cycle Thesis

Status

completed

Language

wit.gif

Dates

— available since
23/06/2008
— activity started
20/07/2006
— degree date
10/10/2006

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY