RESEARCH ON THE COMPARISON OF META-PROGRAMMING BETWEEN LOGIC PROGRAMMING LANGUAGE GDEL AND PROLOG

Meta-programming is an important characteristic in many logic program languages.The research of meta-programming has great value in self-optimization programming and implementation of intellective computation.This paper discussed the main features and their realization of the ground representation and the non- ground representation.The construction method of meta-interpreter and facility.of partial evaluation was analyzed.The comparison demonstrates Gdel language is more declarative and efficient.