Logic programming as a service. Issue 5 (18th July 2018)

• Record Type: Journal Article
• Authors: CALEGARI, ROBERTA; DENTI, ENRICO; MARIANI, STEFANO; OMICINI, ANDREA
• Is Part Of: Theory and practice of logic programming. Volume 18:Issue 5/6(2018)
• Page Start: 846
• Page End: 873
• Publication Date: 2018-07-18
• Subjects: logic programming, -- distributed systems, -- service-oriented architecture, -- pervasive systems, -- intelligent systems, -- LPaaS, -- situatedness; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068418000364
• Languages: English
• ISSNs: 1471-0684

Abstract

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 configurability.