Labelled Variables in Logic Programming: A First Prototype in tuProlog

Last modified by Andrea Omicini on 30/10/2020 10:34

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.

AI*IA 2015 Doctoral Consortium
Ferrara, Italy, 23/09/2015

  

This talk discusses the paper “Labelled Variables in Logic Programming: A First Prototype in tuProlog”, presented at AI*IA 2015 DC .

Tags:
    

Data

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY