Courses » LMC1112 » Progetti » Progetto metainterpreta Vanilla++

Progetto di Fornari Massimo

Titolo originale del progetto:  2p meta interpretation

Elaborato nel corso di:  Linguaggi e Modelli Computazionali LM (a.a. 2011-2012)

Periodo di realizzazione:  Febbraio/Maggio 2012

Discusso il:  26 Giugno 2012

Sommario 

Il progetto consiste nell'analisi del meta-interprete Vanilla, dei suoi limiti, e nella realizzazione di una sua estensione che sia in grado di meta-interpretare correttamente il predicato CUT.
La prima parte del progetto, è volta all'analisi del meta-interprete Vanilla, e dei suoi limiti intrinseci. Si procede poi con l'analisi delle caratteristiche richieste e di alcuni miglioramenti che permettono di estendere le funzionalità del meta-interprete. Seguono all'analisi la fase di realizzazione della proposta di soluzione e una successiva fase ti test, per verificare che i requisiti iniziali fossero rispettati.
Infine è stato creato e commentato un benchmark per verificare la differenza di performance tra l'interpretazione con "Vanilla++" e quella fatta con il motore prolog.

 Allegati:
relazione
presentazione
Vanilla++
Benchmark
README