Research And Implementation On Prolog Remote Predicate Calling

Prolog is the most famous logic programming language in the fields of artificial intelligence. It is suitable for expert system, planning, and other AI related problem solving. As a typical language for artificial intelligence programming, prolog is used widely. Distributed prolog is the application of prolog in the computer network, which can offer distributed intelligent computation service.This paper presents a distributed prolog architecture with a focus on remote predicate call. Remote predicate call refers to the solving of the predicate by a remote server in the computer network, i.e., the executing occurs in the remote server and the result will be fed back to client application through network communication. Remote predicate call can be logically divided into three layers. From the lowest layer to the highest one are respectively network service, system service, and application. The network service layer abstracts the low-level communication of the whole system. The system service layer offers registry, service proxy, status identification, load balance etc. The application layer is composed of client application and service predicate.By analyzing the principle and structure, this paper makes clear the aim of the design of remote predicate call. Finally this paper gives the main implementation of this design.