Journal of Computer Science and Technology

, Volume 1, Issue 4, pp 17–26 | Cite as

A substitution based model for the implementation of PROLOG

—The design and implementation of LPROLOG
  • Chen Zhaoxiong 
  • Gao Qingshi 


Since PROLOG has been chosen as the Fifth Generation Computer’s Kernal Language, it is presently one of the hottest topics among computer scientists all over the world. Recently, the implementation technique and the application of PROLOG have been developed rapidly. In this paper, a new implementation scheme for PROLOG is proposed. The scheme is based on the substitution of instantiated veriable values. It has many advantages, such as a higher running speed, less main memory requirement, and easier to be implemented. The scheme has been implemented by the authors on IBM4341.


Implementation Scheme Transformation Rule Parent Goal Prolog System Exit Module 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    H.D. Warren and L.M. Pereira, PROLOG-the Language and its Implementation Compared with LISP, ACM Proc. of the Symposium on Artificial Intelligence and Programming Language, New York, 1977, 109–115.Google Scholar
  2. [2]
    B. Dzmolki and P. Szeredi, PROLOG in Practice, Proc. IFIP83, North Holland Elsevier, 1983, 627–636.Google Scholar
  3. [3]
    J.F. Nilsson, On the Compilation of a Domain-based PROLOG, Proc. IFIP83, North Holland Elsevier, 1983, 293–298.Google Scholar
  4. [4]
    R.A. Kowalski, Logic for Problem Solving, North Holland Elsevier, New York, 1979.MATHGoogle Scholar
  5. [5]
    W.F. Cloksin and C.S. Mellish, Programming in PROLOG, Springe Verlag, Berlin Heidelberg New York, 1981.Google Scholar
  6. [6]
    Edited by J.A. Campbell, Implementation of PROLOG, Ellis Horwood Limited, New York, Chichester, Brisbane, Toronto, 1984.Google Scholar
  7. [7]
    Chen Zhaoxiong, A Theoretical Model for the Implementation of Concurrent-PROLOG,Computer Research and Development,23:8(1986).Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1986

Authors and Affiliations

  • Chen Zhaoxiong 
    • 1
  • Gao Qingshi 
    • 1
  1. 1.Institute of Computing TechnologyAcademia SinicaBeijingChina

Personalised recommendations