쉘로우 백트랙킹을 이용한 Prolog 컴파일러의 최적화

초록

It is difficult to compile Prolog programs on traditional computer architectures, so WAM (Warren Abstract Machine) was proposed as a virtual machine for Prolog execution. Most Prolog compiler executes WAM code by either emulating WAM code or translating WAM code to machine code. However, the two approaches have drawbacks in portability and efficiency, respectively To overcome the drawbacks, wamcc compiler was proposed at INRIA, which compiles Prolog programs to WAM code in C. The performance of this compiler depends on optimization effect of C compiler rather than Prolog compiler. In this paper, the compiler is improved by applying shallow backtracking optimization technique which is one of optimizing techniques for Prolog language. In particular, two optimization techniques in [l,2] are compared.