Labelled Variables in Logic Programming: A First Prototype in tuProlog

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.

(keywords) Labelled Variables, CLP, pervasive systems, Labelled Systems

Riviste & collane

Eventi

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

Pubblicazione

— autori/autrici

— a cura di

Elena Bellodi, Alessio Bonfietti

— stato

pubblicato

— tipo

articolo in atti

— data di pubblicazione

settembre 2015

— volume

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

— collana

CEUR Workshop Proceedings / AIxIA Series

— volume

1485

— pagine

25–30

— numero di pagine

6

— luogo

Ferrara, Italy

URL

PDF originale

identificatori

— IRIS

11585/521880

— Scopus

2-s2.0-85009165803

— print ISSN

1613-0073

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