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