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

Labelled Variables in Logic Programming: A First Prototype in tuProlog

— status

published  

— authors

Roberta Calegari, Enrico Denti, Andrea Omicini

Context

— event
AI*IA 2015 DC 
— journal/series
CEUR-WS.org

URLs & IDs

original PDF

— IRIS

11585/521880

— Scopus

2-s2.0-85009165803

— print ISSN

1613-0073

BibTeX

— BibTeX ID
labelled2p-dcaiia2015
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY