A High Performance Architecture For Prolog by T.P. Dobry