A Code Translation Scheme from PROLOG to C Language
김희철 · Jeongbo gwahaghoe nonmunji. so'peuteuweeo mich eung'yong · 1998
Despite of the effort over the last decade, the implementation of Prolog is still an important issue in logic programming. TC-Prolog is a sequential Prolog engine based on a new scheme for the translation-based execution of logic programs. TC-Prolog aims at high quality of the output code in terms of the code size and its execution speed, while benefiting from the inherent advantages of translation-based approaches, i.e., fast prototyping and high portability. The empirical study of TC-Prolog show that, with regard to the execution speed of the produced code and its code size, TC-Prolog shows respectively about 24 and 30 percents of improvement over WAMCC that is one of the most efficient translation-based sequential Prolog systems. This paper presents our study on a framework that enables us to qualitatively assess various crucial issues pertaining to the Prolog-to-C code translation. Then, we present our code translation scheme developed for TC-Prolog and the result of its empirical study made to evaluate and compare the performance between TC-Prolog and WAMCC.