Stefano Bonetti
tuProlog è un motore Prolog scritto in Java, leggero e minimale. Grazie al lavoro svolto da altri laureandi, è stato studiato e reso disponibile un plugin per l'ambiente Eclipse. Scopo di questa tesi è realizzare una più stretta integrazione del motore tuProlog con la piattaforma Eclipse attraverso una estensione del plugin già esistente, aggiungendo il supporto per il concetto di progetto Prolog come artefatto per l'organizzazione di risorse. Un progetto Eclipse, infatti, è il contenitore naturale sia per raccogliere più file Prolog, sia per fare in modo che, ad una certa azione attivata dall'utente, tali file vengano caricati nel motore tuProlog verificandone la correttezza. Questo nuovo passo di integrazione mirerà a rimuovere limiti dell'implementazione attuale, come ad esempio l'associazione biunivoca tra motore tuProlog ed editor, nonché ad associare in maniera più immediata al motore tuProlog le proprietà configurabili dall'utente.