Logic Programming as a Service
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Theory and Practice of Logic Programming 18(5-6), pages 846-873
September 2018
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 |
Journals & Series
Publications / Personal
Publications / Views
Home
— clouds
tags | authors | editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014–1927
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Publication
— authors
— editors
Ferdinando Fioretto, Enrico Pontelli
— status
published
— sort
article in journal
— publication date
September 2018
— journal
Theory and Practice of Logic Programming
— volume
18
— issue
5-6
— pages
846-873
— number of pages
28
URLs
identifiers
— DOI
— DBLP
— IRIS
— Scholar
— Scopus
— WoS / ISI
notes
— note
Special Issue “Past and Present (and Future) of Parallel and Distributed Computation in (Constraint) Logic Programming”