Towards Logic Programming as a Service: Experiments in tuProlog

Last modified by Andrea Omicini on 2020/10/12 16:53

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)
	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}}},
	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 = {},
	Volume = 1664,
	Year = 2016}



2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna