Logic Programming as a Service
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

TL;DR
This paper introduces Logic Programming as a Service (LPaaS), a novel approach to deploying logic engines as distributed services to support pervasive intelligent systems within modern distributed architectures.
Contribution
It defines an architectural model for LPaaS, reinterprets classical LP notions in this context, and demonstrates a practical implementation using distributed tuProlog engines.
Findings
LPaaS enables distributed logic reasoning in pervasive systems.
The implementation ensures interoperability and configurability.
LPaaS supports service-oriented architectures for logic programming.
Abstract
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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
