Alex Benini
In questa tesi partiamo dall'analisi del motore di tuProlog, un ambiente di programmazione logica integrato in Java sviluppato dal gruppo aliCE, e sviluppiamo le linee della sua possibile estensione verso la programmazione (logica) a vincoli.
