Labelled tuProlog: Architettura ed Implementazione

   page       attach   
Tiziano Distefano

Definizione dell'architettura della Labelled Logic Programming in tuProlog.