Logic Programming Applications: What Are the Abstractions and Implementations?

This article presents an overview of applications of logic programming, classifying them based on the abstractions and implementations of logic languages that support the applications. The three key abstractions are join, recursion, and constraint. Their essential implementations are for-loops, fixed points, and backtracking, respectively. The corresponding kinds of applications are database queries, inductive analysis, and combinatorial search, respectively. We also discuss language extensions and programming paradigms, summarize example application problems by application areas, and touch on example systems that support variants of the abstractions with different implementations

Logic Programming in Space-Time: The Case of Situatedness in LPaaS

Situatedness is a fundamental requirement for today\u2019s complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatio-temporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives

25 Years of Applications of Logic Programming in Italy

We present a review of practical applications of Logic Programming appeared in Italy since 1985. We classify them according to their area of application and discuss some trends emerged in the latest developments. Notwithstanding this survey is far to be comprehensive, it shows that Logic Programming successfully evolved and quickly adapted to new challenges offered by a notable variety of application areas

25 Years of Applications of Logic Programming in Italy

We present a review of practical applications of Logic Programming appeared in Italy since 1985. We classify them according to their area of application and discuss some trends emerged in the latest developments. Notwithstanding this survey is far to be comprehensive, it shows that Logic Programming successfully evolved and quickly adapted to new challenges offered by a notable variety of application areas