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.
