Enhanced Prolog Remote Predicate Call Protocol

TL;DR

This paper introduces an improved version of the Prolog Remote Predicate Call protocol, called Enhanced Prolog RPC, which offers better reliability, extended functionality, and new syntax for distributed logic programming applications.

Contribution

The paper presents the development of Enhanced Prolog RPC, a more reliable and feature-rich version of the original protocol for distributed Prolog applications.

Findings

Enhanced protocol has a new syntax and commands.

Improved reliability and extended features.

Facilitates distributed AI applications using Prolog.

Abstract

Following the ideas of the Remote Procedure Call model, we have developed a logic programming counterpart, naturally called Prolog Remote Predicate Call (Prolog RPC). The Prolog RPC protocol facilitates the integration of Prolog code in multi-language applications as well as the development of distributed intelligent applications. One use of the protocol's most important uses could be the development of distributed applications that use Prolog at least partially to achieve their goals. Most notably the Distributed Artificial Intelligence (DAI) applications that are suitable for logic programming can profit from the use of the protocol. After proving its usefulness, we went further, developing a new version of the protocol, making it more reliable and extending its functionality. Because it has a new syntax and the new set of commands, we call this version Enhanced Prolog Remote Procedure Call. This paper describes the new features and modifications this second version introduced.