New Generation Computing

, 4:97

Translating production rules into a forward reasoning Prolog program

  • Akira Yamamoto
  • Hozumi Tanaka
Short Notes

DOI: 10.1007/BF03037384

Cite this article as:
Yamamoto, A. & Tanaka, H. New Gener Comput (1986) 4: 97. doi:10.1007/BF03037384


Several attempts have been made to design a production system using Prolog. To construct a forward reasoning system, the rule interpreter is often written in Prolog, but its execution is slow.

To develop an efficient production system, we propose a rule translation method where production rules are translated into a Prolog program and forward reasoning is done by the translated program. To translate the rules, we adopted the technique developed in BUP, the bottom-up parsing system in Prolog.

Man-machine dialogue functions were added to the production system and showed the potential of our method to be applied to expert systems.


Production System Expert System Prolog 

Copyright information

© Ohmsha, Ltd. and Springer 1986

Authors and Affiliations

  • Akira Yamamoto
    • 1
  • Hozumi Tanaka
    • 1
  1. 1.Department of Computer ScienceTokyo Institute of TechnologyTokyoJapan
  2. 2.Reservoir modelling departmentNippon Schlumberger K. K.Sagamihara-shi, KanagawaJapan

Personalised recommendations