Logic programming as a service

@article{Calegari2018LogicPA,
  title={Logic programming as a service},
  author={Roberta Calegari and Enrico Denti and S. Mariani and Andrea Omicini},
  journal={Theory and Practice of Logic Programming},
  year={2018},
  volume={18},
  pages={846 - 873}
}
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. [] Key Method 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…

2P-Kt: logic programming with objects & functions in Kotlin

This paper presents a Kotlin DSL for Prolog, showing how the Kotlin multiparadigm (OOP+FP) language can be enriched with LP in a straightforward and effective way, and enables the creation of similar DSL on top of other high-level languages such as Scala or JavaScript.

Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines

This paper proposes Situated Logic Programming (SLP) as the conceptual framework for delivering micro-intelligence in CPCS, and Logic Programming as a Service (LPaaS) as its reference architecture and technological embodiment.

Parallel Logic Programming: A Sequel

This survey provides a review of the research in parallel logic programming covering the period since 2001 and restricts its attention to parallelization of the major logic programming languages (Prolog, Datalog, Answer Set Programming) and with an emphasis on automated parallelization and preservation of the sequential observable semantics of such languages.

Logic-based technologies for multi-agent systems: a systematic literature review

A comprehensive view of logic-based technologies for agents and multi-agent systems is provided by making them the subject of a systematic literature review (SLR) and the resulting technologies are discussed and evaluated from two different perspectives.

A Declarative Goal-oriented Framework for Smart Environments with LPaaS

This article proposes a declarative framework to represent smart environments, user-set goals and customisable mediation policies to reconcile contrasting goals encompassing multiple IoT systems.

Injecting (Micro)Intelligence in the IoT: Logic-Based Approaches for (M)MAS

This paper focuses on logic-based approaches, and discusses their potential in pervasive scenarios like the IoT and open (M)MAS along with the latest results in the field.

Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives

An overview of logic-based approaches and technologies is provided by sketching their evolution and pointing out their main application areas, in order to identify those research fields that deserve more attention.

Placing FaaS in the Fog, Securely

This article proposes a declarative methodology to address the placement of FaaS applications onto Fog infrastructures, supported by a running prototype, that considers hardware and software requirements, and latency constraints on functionfunction and function-service interactions.

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning

This paper shows how its re-interpretation in terms of LPaaS (Logic Programming as a Service) can work as an enabling technology for distributed situated intelligence, and presents a possible example of hybrid reasoning.

Argumentation and Logic Programming for Explainable and Ethical AI

This paper shows how argumentation could be combined with different extensions of logic programming – namely, abduction, inductive logic programming, and probabilistic logic programming - to address the issues of explainable AI as well as some ethical concerns about AI.

References

SHOWING 1-10 OF 69 REFERENCES

Logic programming as a service in multi-agent systems for the Internet of Things

This paper defines the LPaaS general architecture, and discusses two different prototype implementations - as a web service and as an agent in a multi-agent system (MAS), both built on top of the tuProlog system, which provides the required interoperability and customisation.

tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures

Intelligence and interaction are two key-issues in the engineering of todaycomp lex systems, like Internet-based ones. To make logic languages accomplish their vocation of sound enabling technologies

Modularity in Logic Programming

A Logic Programming Based Framework for Intelligent Web Service Composition

This chapter presents a comprehensive logic programming framework designed to support intelligent composition of Web services, taking advantage of the fact that logic-based planning enables the elegant introduction of a number of extensions and generalizations.

The concurrent language, Shared Prolog

Through an abstract notion of computation, the kinds of parallelism supported by the language, as well as properties of infinite computations, such as local deadlocks, are studied.

Representing and reasoning with situations for context-aware pervasive computing: a logic programming perspective

  • S. Loke
  • Computer Science
    The Knowledge Engineering Review
  • 2004
An approach encourages a high-level of abstraction for representing and reasoning with situations, and supports building context-aware systems incrementally by providing modularity and separation of concerns.

Extending Logic Programming with Labelled Variables: Model and Semantics

A new notion of truth for logic programs extended with labelled variables interpreted in non-Herbrand domains is defined—where, however, terms maintain their usual Herbrand interpretations.

A Distributed, Net Oriented Semantics for Delta Prolog

A truly distributed operational semantics for Concurrent Logic Languages is defined here, differently from those semantics based on intrinsically sequential, interleaving models defined so far. Delta

An infrastructure for context-awareness based on first order logic

This paper proposes a model of context that is based on first order predicate calculus, which allows complex rules involving contexts to be written and enables automated inductive and deductive reasoning to be done on contextual information.

Evaluating the potential of a service oriented infrastructure for the factory of the future

The goal was to demonstrate that a really innovative approach for device to business connectivity, which can have a significant impact on the business side, going well beyond existing approaches is realized.
...