High-performance Prolog Compiler