Issues in the implementation of Prolog, and their optimization. - Hendrik C. R. Lock; Anamaria Martins (Microprocessing and Microprogramming, 1991)