Labelled tuProlog: Architettura ed Implementazione

Definizione dell'architettura della Labelled Logic Programming in tuProlog.