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

Labelled Variables in Logic Programming: A First Prototype in tuProlog

Roberta Calegari, Enrico Denti, Andrea Omicini
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.
Keywords: Labelled Variables, CLP, pervasive systems, Labelled Systems
Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI*IA 2015 DC), CEUR Workshop Proceedings (AI*IA Series) 1485, pages 25-30, 23-24 September 2015.
Elena Bellodi, Alessio Bonfietti (eds.), Sun SITE Central Europe, RWTH Aachen University
@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)},
	Editor = {Bellodi, Elena and Bonfietti, Alessio},
	Issn = {1613-0073},
	Keywords = {Labelled Variables, CLP, pervasive systems, Labelled Systems},
	Month = {23--24~} # sep,
	Organization = {AI*IA},
	Pages = {25--30},
	Publisher = {Sun SITE Central Europe, RWTH Aachen University},
	ScopusId = {2-s2.0-85009165803},
	Series = {CEUR Workshop Proceedings},
	Subseries = {AI*IA Series},
	Title = {Labelled Variables in Logic Programming: A First Prototype in {{\sf tu}Prolog}},
	Url-Pdf = {http://ceur-ws.org/Vol-1485/proceedings.pdf#page=30},
	Volume = 1485,
	Year = 2015}