A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG

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