Questa tesi fa parte di un più ampio progetto avente lo scopo di integrare il motore tuProlog nell?ambiente di sviluppo NetBeans tramite un apposito plug-in. Nel corso di una precedente tesi quinquennale, è stata definita l'architettura generale ed è stato definito un processo di sviluppo articolato in sei prototipi con funzionalità crescenti.
Obiettivo di questa tesi è l'implementazione del terzo passo, dopo i due già realizzati in precedenza: più specificatamente, questo prototipo ha l'obiettivo di integrare nel plug-in le funzionalità di gestione delle teorie etichettate.
A tal fine è risultato necessario riprogettare alcuni componenti, onde conferire al plug-in una struttura più compatta e renderlo più facilmente aggiornabile in vista dei prototipi successivi.