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

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

— author

Michele Dinardo

Supervision

— supervisor

Enrico Denti

— co-supervisor

Giulio Piancastelli

Sort

— cycle

first-cycle thesis

— status

completed thesis

— language

wit.gif

Dates

— available since

23/06/2008

— activity started

20/07/2006

— degree date

10/10/2006

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