Labelled Variables in Logic Programming: A First Prototype in tuProlog

@inproceedings{labelled2p-dcaiia2015,
   address = {Ferrara, Italy},
   author = {Calegari, Roberta and Denti, Enrico and Omicini, Andrea},
   booktitle = {Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC)},
   dblp = {conf/aiia/CalegariDO15},
   editor = {Bellodi, Elena and Bonfietti, Alessio},
   iris = {11585/521880},
   issn = {1613-0073},
   keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
   location = {Ferrara, Italy},
   month = {23--24~} # sep,
   numpages = 6,
   organization = {AI*IA},
   pages = {25--30},
   publisher = {Sun SITE Central Europe, RWTH Aachen University},
   scholar = {16046264553640973420},
   scopus = {2-s2.0-85009165803},
   semanticscholar = {9324685},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
   urlpdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
   volume = 1485,
   year = 2015
}