Logic Programming as a Service in tuProlog

LPaaS is an an effective enabling technology for intelligent IoT. It is a logic-based, service-oriented approach for distributed situated intelligence, conceived and designed as the natural evolution of LP in nowadays pervasive computing systems. Its purpose is to enable situated reasoning via explicit definition of the spatial- temporal structure of the environment where situated entities act and interact. LPaaS in tuProlog consists in the LPaaS implementation built on top of the tuProlog system, that makes it possible to build distributed intelligent IoT environment distributing reasoning and inference capabilities amongst the components they have, and let them balance the computational requirements to best suit the deployment scenario at hand—for instance, embedding LPaaS in more powerful components and letting ask their services by need. The repository contains prototype implementations built on top of the tuProlog system, which provides the required interoperability and customisation. See https://gitlab.com/pika-lab/lpaas