Inserire una breve descrizione delle modifiche fatte
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
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.
