Towards Logic Programming as a Service: Experiments in tuProlog


Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Corrado Santoro, Fabrizio Messina, Massimiliano De Benedetti (eds.)
WOA 2016 – 17th Workshop “From Objects to Agents”, pages 79-84
CEUR Workshop Proceedings (AI*IA Series) 1664
Sun SITE Central Europe, RWTH Aachen University
July 2016

In this paper we explore the perspective of Logic Programming as a Service (LPaaS), with a broad notion of “service” going beyond the mere handling of the logic engine lifecycle, knowledge base management, reasoning queries execution, etc. In particular, we present tuProlog as-a-service, a Prolog engine based on the tuProlog core made available as an encapsulated service to effectively support the spreading of intelligence in pervasive systems—mainly, Internet-of-Things (IoT) applications scenarios.

So, after recalling the main features of tuProlog technology, we discuss the design and implementation of tuProlog as-a-service, focussing in particular on the iOS platform because of the many supported smart devices (phones, watches, etc.), the URL-based communication support among apps, and the multi-language resulting scenarios.

(keywords) Logic programming; Pervasive systems; IoT; LP-as-a-service

Journals & Series

Events

  • XVII Workshop "From Objects to Agents" (WOA 2016) — 29/07/2016–30/07/2016

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

— editors

Corrado Santoro, Fabrizio Messina, Massimiliano De Benedetti

— status

published

— sort

paper in proceedings

— publication date

July 2016

— volume

WOA 2016 – 17th Workshop “From Objects to Agents”

— series

CEUR Workshop Proceedings / AI*IA Series

— volume

1664

— pages

79-84

— location

Catania, Italy

URLs

original page

identifiers

— DBLP

conf/woa/CalegariDMO16

— IRIS

11585/562436

— Scopus

2-s2.0-84985995176

— print ISSN

1613-0073

notes

— note

Proceedings of the 17th Workshop “From Objects to Agents“ co-located with 18th European Agent Systems Summer School (EASSS 2016)

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