Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Labelled Variables in Logic Programming: A First Prototype in tuProlog
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
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.
keywordsLabelled Variables, CLP, pervasive systems, Labelled Systems
AI*IA 2015 DC @ AI*IA 2015
CEUR Workshop Proceedings (CEUR-WS.org)
AI*IA 2015 Doctoral Consortium (edited volume, 2015) — Elena Bellodi, Alessio Bonfietti
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)
