Labelled Variables in Logic Programming: A First Prototype in tuProlog

Roberta Calegari / Andrea Omicini, Enrico Denti, Roberta Calegari

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.

Eventi

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

Pubblicazioni

Labelled Variables in Logic Programming: A First Prototype in tuProlog (articolo in atti, 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini