APICe » Theses » Class » CocciniGailli_TeorieEtichettateNetbeans

Ingegnerizzazione di uno strumento di supporto alle teorie etichettate per l'interprete tuProlog in ambiente NetBeansĀ 

Luca Coccini Gailli


Partendo dalla versione tuprolog 1.4.0 (che supporta le teorie logiche etichettate - ex tesi Nanetti), progettare e costruire un plugin NetBeans che integri ed estenda il pre-esistente, aggiungendo il supporto al concetto di teoria logica etichettata


Enrico Denti (Supervisor)
Giulio Piancastelli (Co-supervisors)