Estensione di un motore Prolog per la programmazione a vincoli
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.