Labelled Variables in Logic Programming: A First Prototype in tuProlog

Last modified by Andrea Omicini on 01/05/2021 16:50

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}

    

Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna
1.1