Labelled Variables in Logic Programming: A First Prototype in tuProlog

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.

Events

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

Publications

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

Tags: labelled tuProlog tuProlog labelled variables in logic programming

Talks

Home
Search
All

Talks / Personal

Andrea Agiollo
Roberta Calegari
Giovanni Ciatto
Enrico Denti
Matteo Magnini
Sara Montagna
Andrea Omicini
Giuseppe Pisano
Andrea Rafanelli
Federico Sabbatini

Talks / Views

Talk

Labelled Variables in Logic Programming: A First Prototype in tuProlog

— speakers

Roberta Calegari

— authors

Andrea Omicini, Enrico Denti, Roberta Calegari

— sort

talk

— language

— context

AI*IA 2015 Doctoral Consortium

— where

Ferrara, Italy

— when

23/09/2015

URLs

SlideShare