We present the first prototype of Labelled tuProlog, an extension of tuProlog exploiting labelled variables to enable a sort of multi-paradigm / multi-language programming aimed at pervasive systems.
AI*IA 2015 Doctoral Consortium
Ferrara, Italy, 23/09/2015