Bridging logic programming with platform-independent distributed services

Researchers have always been interested in combining the logic paradigm with other technologies to create new hybrid approaches. Until now, however, it was difficult to make languages like Prolog interact with external entities. In this thesis, we propose a solution that enables a logical solver to delegate the execution of requests to remote service, possibly implemented in languages different from that of the solver. Accordingly, we provide a prototype that leverages the concepts of logic primitives and the As-A-Service model and we implement a concrete example that merges symbolic AI with sub-symbolic AI.