Logic programming as a service

DOI10.1017/S1471068418000364MaRDI QIDQ4559833zbMATH OpenOpenAlexFDO

Authors Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

Publication date 4 December 2018

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1806.02577

zbMATH Keywords

distributed systemsintelligent systemslogic programmingLPaaSpervasive systemsservice-oriented architecturesituatedness

Mathematics Subject Classification ID

Distributed systems (68M14) Logic programming (68N17)

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.

Recommendations

• scientific article; zbMATH DE number 1926603
• Service-oriented logic programming
• Distributed Logic Programming
• Pengines: Web Logic Programming Made Easy
• A Logic-Programming Semantics of Services

Cites work

• A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
• A Machine-Oriented Logic Based on the Resolution Principle
• Extending Logic Programming with Labelled Variables: Model and Semantics
• Generative communication in Linda
• scientific article; zbMATH DE number 867332 (Why is no real title available?)

Cited in

(5)

• A Logic-Programming Semantics of Services
• LPaaS
• scientific article; zbMATH DE number 1926603 (Why is no real title available?)
• scientific article; zbMATH DE number 2090543 (Why is no real title available?)
• Parallel Logic Programming: A Sequel

Describes a project that uses

Uses Software

• Linda
• TuCSoN

This page was built for publication: Logic programming as a service

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4559833)