Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

New generations of distributed systems are opening novel perspectives for logic programming (LP): on the one hand, service-oriented architectures represent nowadays the standard approach for distributed systems engineering; on the other hand, pervasive systems mandate for situated intelligence. In this paper we introduce the notion of Logic Programming as a Service (LPaaS) as a means to address the needs of pervasive intelligent systems through logic engines exploited as a distributed service. First we define the abstract architectural model by re-interpreting classical LP notions in the new context; then we elaborate on the nature of LP interpreted as a service by describing the basic LPaaS interface. Finally, we show how LPaaS works in practice by discussing its implementation in terms of distributed tuProlog engines, accounting for basic issues such as interoperability and configurability.

(keywords) logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness

Theory and Practice of Logic Programming 18(5-6), pp. 846-873, 28 pagine, September 2018.
Ferdinando Fioretto, Enrico Pontelli (a cura di), Cambridge University Press.
Special Issue “Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming”

@article{lpaas-tplp18,
Author = {Calegari, Roberta and Denti, Enrico and Mariani, Stefano and Omicini, Andrea},
Doi = {10.1017/S1471068418000364},
Editor = {Fioretto, Ferdinando  and Pontelli, Enrico},
Journal = {Theory and Practice of Logic Programming},
Keywords = {logic programming, distributed systems, service-oriented architectures, pervasive systems, intelligent systems, LPaaS, situatedness},
Month = sep,
Note = {Special Issue ``Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming''},
Number = {5-6},
Pages = {846--873},
Publisher = {Cambridge University Press},
ScholarId = {13482792136370336832},
ScopusId = {2-s2.0-85050006559},
Title = {Logic Programming as a Service},
Url = {https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/logic-programming-as-a-service/8A8109052E2F9EC177332F36183E80BE},
Volume = 18,
WosId = {000443682000005},
Year = 2018}

Riviste & collane

Pubblicazione

— autori/autrici

Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

— a cura di

Ferdinando Fioretto, Enrico Pontelli

— stato

pubblicato

— tipo

articolo su rivista

Sede di pubblicazione

— rivista

Theory and Practice of Logic Programming

— volume/numero

18 (5-6)

— data di pubblicazione

September 2018

— pagine

846-873

URL & ID

pagina originale
citazioni Scholar

— DOI

10.1017/S1471068418000364

— DBLP

journals/tplp/CalegariDMO18

— IRIS

11585/642508

— Publons

18735148

— Scholar

13482792136370336832

— Scopus

2-s2.0-85050006559

— WoS / ISI

000443682000005

BibTeX

— BibTeX ID
lpaas-tplp18
— BibTeX category
article

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