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

Journals & Series

Events

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

Publication

— authors

— editors

Elena Bellodi, Alessio Bonfietti

— status

published

— sort

paper in proceedings

— publication date

September 2015

— 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 / AIxIA Series

— volume

1485

— pages

25–30

— number of pages

6

— location

Ferrara, Italy

URLs

original PDF

identifiers

— IRIS

11585/521880

— Scopus

2-s2.0-85009165803

— print ISSN

1613-0073

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY