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 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....