AZ-Prolog – 論理型言語Prolog処理系
Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)
The Personal Sequential Inference Machine (PSI) is a personal computer designed as a tool for software and hardware development in Japan's Fifth Generation Computer Systems (FGCS) project. This paper describes PSI's hardware systems and the unique features of ite data processing and sequence control units.