JISE


  [1] [2] [3] [4] [5] [6]


Journal of Information Science and Engineering, Vol. 4 No. 1, pp. 73-85


A Distributed Model for the Interpretation of Concurrent Prolog


CHING-CHI HSU AND SHEN-TZAY HUANG
Department of Computer Science and Information Engineering
National Taiwan Unversity
Taipei, Taiwan, Republic of China


    In this paper, we start from observing the behavior of read_only logic variables which help clarify the mechanisms of Concurrent Prolog and then we illustrate two operational semantics for the read-only logic variables. We propose an operational model DDCS (Dynamic Distributed network of Centralized multiprocess System) for Concurrent Prolog programs, which succinctly combines the shared variables, message passing and remote-procedure-call schemes yet still preserves the object-oriented features of the centralized version. Using DDCS as the basis for a distributed Concurrent Prolog machine, we discuss the implementation issues and provide a simulation approach.


Keywords: concurrent prolog, operational semantics, read_only logic, variable, stream unification, distributed model

  Retrieve PDF document (JISE_198801_05.pdf)