Labelled Variables in Logic Programming: A First Prototype in tuProlog

   Info_icon.svg       BibTeX_logo.svg   

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.

hosting event
Event_icon.svg AI*IA 2015 DC @ AI*IA 2015
reference publication
Publication_icon.svg Labelled Variables in Logic Programming: A First Prototype in tuProlog (paper in proceedings, 2015) — Roberta Calegari, Enrico Denti, Andrea Omicini

cover