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

Supervision

— supervisor
Enrico Denti

Category

2nd-Cycle Thesis

Status

out-of-date

Language

wit.gif

Dates

— available since
17/05/2011

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