Prolog언어를 사용한 Compiler구현

Abstract

본 논문에서는 Compiler를 구현하는 여러 언어가 있지만 논리프로그래밍 언어인 Prolog로서 Compiler를 구현할 수 있다는 것을 보였다. BNF로 표기되는 간단한 언어를 정의하고 이 언어로 작성된 프로그램을 문장분석, 코드생성, 어셈블리 과정을 거쳐 목적 프로그램으로 번역하였다. Prolog언어로서 문제해결은 구현과정과 명세과정이 밀접한 연관성이 있다는 점으로부터 Compiler를 작성할 때 얻을 수 있는 장점을 논했다.

This paper shows that, like other languages, Prolog, as a logic programing language, can be used for the implementation of a compiler. A simple language, expressed by BNF, is defined and a sample program is written according to this form. This program is parsed and translated to target language by the compiler written with Prolog. From the point that the specification is very closely related to the implementation when a problem is solved with Prolog, resulting various advantages are discussed.

This paper shows that, like other languages, Prolog, as a logic programing language, can be used for the implementation of a compiler. A simple language, expressed by BNF, is defined and a sample program is written according to this form. This program is parsed and translated to target language by the compiler written with Prolog. From the point that the specification is very closely related to the implementation when a problem is solved with Prolog, resulting various advantages are discussed.