Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini  

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

WOA 2016 – 17th Workshop “From Objects to Agents”, CEUR Workshop Proceedings (AI*IA Series) 1664, pages 79-84, July 2016.
Corrado Santoro, Fabrizio Messina, Massimiliano De Benedetti (eds.), Sun SITE Central Europe, RWTH Aachen University.
Proceedings of the 17th Workshop “From Objects to Agents“ co-located with 18th European Agent Systems Summer School (EASSS 2016

)

@inproceedings{lpaas-woa2016,
Author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
Booktitle = {WOA 2016 -- 17th Workshop ``From Objects to Agents''},
Editor = {Santoro, Corrado and Messina, Fabrizio and De Benedetti, Massimiliano},
Keywords = {Logic programming; Pervasive systems; IoT; LP-as-a-service},
Issn = {1613-0073},
Location = {Catania, Italy},
Month = {29--30~} # jul,
Note = {Proceedings of the 17th Workshop ``From Objects to Agents'' co-located with 18th European Agent Systems Summer School (EASSS 2016)},
Pages = {91--99},
Publisher = {Sun SITE Central Europe, RWTH Aachen University},
ScopusId = {2-s2.0-84985995176},
Series = {CEUR Workshop Proceedings},
Subseries = {AI*IA Series},
Title = {Towards Logic Programming as a Service: Experiments in {\sf tu}{P}rolog},
Url = {http://ceur-ws.org/Vol-1664/w14.pdf},
Volume = 1664,
Year = 2016}

    

Publication

Towards Logic Programming as a Service: Experiments in tuProlog

— status

published  

— authors

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

— editors

Corrado Santoro, Fabrizio Messina, Massimiliano De Benedetti

URLs & IDs

original page

— DBLP

conf/woa/CalegariDMO16

— IRIS

11585/562436

— Scopus

2-s2.0-84985995176

— print ISSN

1613-0073

BibTeX

— BibTeX ID
lpaas-woa2016
— BibTeX category
inproceedings

APICe

— event
WOA 2016
— journal/series
CEUR-WS.org

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