Labelled Variables in Logic Programming: A First Prototype in tuProlog


Roberta Calegari, Enrico Denti, Andrea Omicini

Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI\*IA 2015 DC), pages 25-30
CEUR Workshop Proceedings (AI*IA Series) 1485, 23-24 September 2015
Sun SITE Central Europe, RWTH Aachen University
Elena Bellodi, Alessio Bonfietti (eds.)

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
 @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

Journals & Series

Events

  • AI*IA Doctoral Consortium 2015 (AI*IA 2015 DC ) — 23/09/2015–24/09/2015

Publication

— authors

Roberta Calegari, Enrico Denti, Andrea Omicini

— editors

Elena Bellodi, Alessio Bonfietti

— status

published

— sort

paper in proceedings

Venue

— volume

Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI\*IA 2015 DC)

— series

CEUR Workshop Proceedings

— volume

1485

— pages

25-30

— publication date

23-24 September 2015

URLs

original PDF

Identifiers

— 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-2022 APICe@DISI Research Group - PRIVACY