Bridging Logic Programming with platform-independent distributed services

The logic paradigm has always interested researchers to create hybrid approaches with other technologies. 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 a concrete example that merges symbolic AI with sub-symbolic AI.