Title: High Performance Architecture for Prolog