Labelled Variables in Logic Programming: A First Prototype in tuProlog

   page       BibTeX_logo.png   
Roberta Calegari, Enrico Denti, Andrea Omicini
Elena Bellodi, Alessio Bonfietti (a cura di)
Proceedings of the Doctoral Consortium of the 14th Symposium of the Italian Association for Artificial Intelligence (AI\*IA 2015 DC), pp. 25–30
CEUR Workshop Proceedings (AIxIA Series) 1485
Sun SITE Central Europe, RWTH Aachen University
settembre 2015

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.

parole chiave   Labelled Variables, CLP, pervasive systems, Labelled Systems
evento origine
world AI*IA 2015 DC @AI*IA 2015
rivista o collana
book CEUR Workshop Proceedings (CEUR-WS.org)
funge da
pubblicazione di riferimento per presentazione
page_white_powerpoint Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @AI*IA 2015, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari)