L’idea di fondo alla base di questa tesi è rendere disponibile tuProlog (interprete Prolog scritto in Java per sua natura multi-linguaggio e multi-piattaforma) come un "servizio nel cloud". A tal fine, la tesi si articolerà nei seguenti obiettivi:
1) studiare la tecnologia PaaS Cloudify, analizzandone le caratteristiche, il modello di funzionamento, i metodi di distribuzione.
2) effettuare uno studio di fattibilità circa il porting di tuProlog nel cloud, definendo un modello astratto ed una possibile architettura del sistema
3) se possibile, implementare il caso di studio almeno a un livello prototipale.