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.

Thesis

Estensione di un motore Prolog per la programmazione a vincoli

— author

Alex Benini

Supervision

— supervisor

Andrea Omicini

— co-supervisor

Alessandro Ricci

Sort

— cycle

second-cycle thesis

— status

completed thesis

— language

wit.gif

Dates

— available since

06/04/2008

— degree date

15/12/2005

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY