Global compilation of prolog

AbstractCurrent WAM-type compilers employ incremental compilation, in which each procedure is compiled in isolation from the program as a whole. This approach is ideal for the initial stages of program development, since procedures can be compiled and recompiled very quickly. We have developed global compilation techniques to be used in the final stages of program development. These techniques use data-flow and control-flow information to optimize the intermediate code. Specifically, the optimizations involve using inferred mode information to generate indexing code which intermixes unification instructions, primitive test instructions, and switching instructions. One of the primary goals of this research is to develop global compilation techniques which eliminate the need for the user to insert cuts in the program to improve performance. Empirical results show that these optimizationscan result in significant time and space savings