Progetto metainterpreta Vanilla++

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.