The YAIL:
An Intermediate Language for the
Native Compilation of  Prolog Programs

LIACC
Universidade do Portp
Rua do Campo Alegre, 823, 4150 Porto
Portugal
{rslopes,vsc}@ncc.up.pt

Abstract
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.