A high-performance Prolog compiler