APICe » Talks » Labelled Variables in Logic Programming: A First Prototype in tuProlog

Labelled Variables in Logic Programming: A First Prototype in tuProlog

Andrea Omicini, Enrico Denti, Roberta Calegari
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.
Presented by Roberta Calegari
AI*IA 2015 Doctoral Consortium
Ferrara, Italy, 23/09/2015