1. Prolog Machine PEK;Tamura,1984
2. Sequential PROLOG Machine PEK Architecture and Software System;Kaneda,1984
3. High-Speed Execution of FORTH and PASCAL Programs on a High-Level Language Machine;Wada,1983
4. Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI);Taki,1984
5. Towards a Pipelined PROLOG Processor;Tick,1984