Intermediate code for the sequential Prolog machine PEK. - K. Wada; M. Miyamoto; S. Kuo; Y. Kaneda; S. Maekawa (Microprocess. Microprogramming, 1987)