정보과학회 논문지 B : 소프트웨어 및 응용
Current Result Document :
| 한글제목(Korean Title) |
PROLOG로 부터 C 언어로의 코드변환 기법 |
| 영문제목(English Title) |
A Code Translation Scheme from PROLOG to C Language |
| 저자(Author) |
김희철
Hiecheol Kim
|
| 원문수록처(Citation) |
VOL 25 NO. 11 PP. 1693 ~ 1704 (1998. 11) |
한글내용
(Korean Abstract) |
지난 10 여년의 연구 노력에도 불구하고 논리 언어인 프롤로그(Prolog)의 구현은 아직도 프로그래밍 구현의 연구 영역에서 중요한 테마로 여겨지고 있다. TC-Prolog는 논리 프로그램을 C 프로그램으로의 변환을 통하여 논리 프로그램을 구현하는 새로운 기법이다. 이 TC-Prolog는 C 언어 변환 방식 자체가 제공하는 신속한 구현성과 고이식성의 장점을 갖으며, 변환을 통해 코드의 실행 속도와 코드 크기면에서 높은 성능을 갖는다. 실제 구현을 통한 성능 분석의 결과, TC-Prolog는 기존의 가장 우수한 기법인 WAMCC보다 실행 속도와 코드 크기 면에서 각각 24％,와 30％의 성능 향상을 보이고 있다. 본 논문은 프롤로그 프로그램의 C-언어 프로그램으로의 변환에 관련된 여러 중요 기법들의 성능을 정성적으로 분석하는 방법론을 먼저 제시한 후, TC-Prolog를 포함한 기존 기법들의 성능의 정성적 비교결과를 기술한다. 그리고 본 논문의 주된 연구내용인 TC-Prolog 기법, 그리고 실험을 통한 성능 평가내용을 기술한다.
|
영문내용
(English Abstract) |
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 shows 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.
|
| 키워드(Keyword) |
|
| 파일첨부 |
PDF 다운로드
|
