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.
Titolo: | Towards Logic Programming as a Service: Experiments in tuProlog | |
Autore/i: | CALEGARI, ROBERTA; DENTI, ENRICO; MARIANI, STEFANO; OMICINI, ANDREA | |
Autore/i Unibo: | ||
Anno: | 2016 | |
Serie: | ||
Titolo del libro: | WOA 2016 – 17th Workshop “From Objects to Agents” | |
Pagina iniziale: | 91 | |
Pagina finale: | 99 | |
Abstract: | 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. | |
Data stato definitivo: | 17-set-2016 | |
Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |