论文信息 - The design and implementation of a personal sequential inference machine: PSI

The design and implementation of a personal sequential inference machine: PSI

A Personal Sequential Inference Machine, called PSI, is a personal computer designed as a software development tool for the Fifth Generation Computer Systems (FGCS) project. PSI has a logic based, highlevel machine instruction set, called Kernel Language Version 0 (KL0). The machine architecture of PSI is specialized for direct execution of KL0. “Unification” and “backtracking” are the principal operations in Logic Programming, and they are efficiently performed by PSI hardware/ firmware. Its estimated execution speed is 20K to 30K LIPS. The machine is also equipped with a large main memory with a maximum of 40 bits×16M words. This paper presents the key points of its design and the features of its machine architecture.

Akira Yamamoto | Kazuo Taki | Shunichi Uchida | Hiroshi Nishikawa | Minoru Yokota

[1] Ehud Shapiro,et al. A subset of Concurrent Prolog and its interpreter , 1988 .

[2] Akira Yamamoto,et al. Outline of the Personal Sequential Inference machine: PSI , 2009, New Generation Computing.

[3] Haruo Yokota,et al. A relational data base machine: First step to knowledge base machine , 1983, ISCA '83.

[4] Takashi Chikayama. ESP — Extended Self-contained PROLOG — as a preliminary Kernel Language of fifth generation computers , 2009, New Generation Computing.