The YAIL: An Intermediate Language for the Native Compilation of Prolog Programs
Universidade do Portp
Rua do Campo Alegre, 823, 4150 Porto
A major goal for any Prolog implementor is to achieve the best performance for applications. Advanced compilation is essential for high performance. The last few years have seen improvements in Prolog compilation technology resulting in a return to the idea of native code execution. We present work on designing a novel native code compiler for Prolog. The compiler uses an intermediate language optimised for novel architectures, such as the ALPHA and performs several optimisations to obtain good quality code.
Download Complete Paper