A High Performance Architecture for Prolog - T.P. Dobry (Springer, 1990)