L'interprete tuProlog non dispone attualmente di librerie per la programmazione logica a vincoli (CLP). L'obiettivo di questa tesi, di maggiore impegno, consiste nel valutare gli approcci esistenti in letteratura e identificare/progettare quello più adatto al peculiare contesto dell'interprete tuProlog, sviluppando poi il corrispondente prototipo con adeguata suite di collaudo e misura di prestazioni, ivi incluso il confronto con altri sistemi Prolog commerciali e/o open source.

Thesis

Progetto di una libreria CLP per tuProlog

Supervision

— supervisor

Enrico Denti

Sort

— cycle

second-cycle thesis

— status

out-of-date thesis

— language

wit.gif

Dates

— available since

17/05/2011

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