A high-performance Prolog compiler
