RESEARCH ON THE COMPARISON OF META-PROGRAMMING BETWEEN LOGIC PROGRAMMING LANGUAGE GDEL AND PROLOG
Chang Jie
Abstract
Chang Jie
Abstract
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 Gdel language is more declarative and efficient.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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 Gdel language is more declarative and efficient.
Key concepts: Prolog, Programming language, Logic programming, Declarative programming, Computer science, Functional logic programming, Fifth-generation programming language, Inductive programming