Labelled Variables in Logic Programming: A First Prototype in tuProlog

Roberta Calegari, Enrico Denti, Andrea Omicini

Elena Bellodi, Alessio Bonfietti (eds.)

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 (AIxIA Series) 1485

Sun SITE Central Europe, RWTH Aachen University

September 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.

keywords Labelled Variables, CLP, pervasive systems, Labelled Systems

origin event

AI*IA 2015 DC @AI*IA 2015

journal or series

CEUR Workshop Proceedings (CEUR-WS.org)

works as

reference publication for talk

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)