Labelled Variables in Logic Programming: A First Prototype in tuProlog
Last modified by Andrea Omicini on 30/10/2020 10:34
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.
AI*IA 2015 Doctoral Consortium
Ferrara, Italy, 23/09/2015
This talk discusses the paper “Labelled Variables in Logic Programming: A First Prototype in tuProlog”, presented at AI*IA 2015 DC .
