, Volume 4, Issue 1, pp 97-105

Translating production rules into a forward reasoning Prolog program

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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.