APICe » Theses » Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog

Dalla programmazione logica contestuale alla programmazione del Web: implementazione in tuProlog 


La programmazione logica contestuale (CtxLP) ha rappresentato un interessante tentativo di dare struttura alla programmazione logica in the large. Tuttavia, solo l'emergere di scenari articolati e complessi come il Web ha consentito di comprenderne bene il potenziale teorico e applicativo. Questa tesi si propone di riprendere le basi teoriche e linguistiche di CtxLP, di rivederle alla luce dei più recenti risultati in LP e Web programming, e di implementare il modello e il linguaggio risultante in tuProlog.


Andrea Omicini (Contact)
Andrea Omicini (Supervisor)
Enrico Denti Mirko Viroli (Co-supervisors)