Proxima: Prolog Execution Machine

The design and the technological aspects involved in the integration of a high-performance Prolog machine on silicon are described. Many Prolog machines have been implemented by using a large number of boards. Consequently they are expensive, cumbersome, and not yet achievable by industrial standards. There have been many attempts in the US, Japan, and Europe to integrate Prolog engines in silicon, in order to increase performance. The described processor, PROXIMA (PROlog eXecutIon MAchine), is a VLSI Prolog engine suitable to be added onto a commercial workstation. The PROXIMA chip set has been integrated in silicon using a double-metal 0.8 mu m n-well SGS-Thomson proprietary CMOS technology. >

[1]  Yale N. Patt,et al.  SEVERAL IMPLEMENTATIONS OF PROLOG, THE MICROARCHITECTURE PERSPECTIVE. , 1986 .

[2]  Yale N. Patt,et al.  Advantages of Implementing PROLOG by Microprogramming a Host General Purpose Computer , 1987, ICLP.

[3]  E. Tick Studies in Prolog architectures , 1987 .

[4]  Paolo Faraboschi,et al.  Instruction-level parallelism in Prolog: analysis and architectural support , 1992, ISCA '92.

[5]  Vason P. Srini,et al.  Compiling Prolog into microcode: a case study using the NCR/32-000 , 1985, MICRO 18.

[6]  Takashi Chikayama,et al.  Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project , 1988, FGCS.

[7]  Gianluca Piccinini,et al.  An experimental VLSI Prolog interpreter: preliminary measurements and results , 1987, ISCA '87.

[8]  Stanley Habib,et al.  Microprogramming and firmware engineering methods , 1988 .

[9]  Alvin M. Despain,et al.  Fast Prolog with an extended general purpose architecture , 1990, ISCA '90.

[10]  Gianluca Piccinini,et al.  Using Prolog as Computer Architecture Description and Synthesis Language , 1989 .

[11]  David Lawrence Johannsen Silicon compilation , 1989 .

[12]  Beatrice Lazzerini,et al.  An abstract Prolog machine , 1989 .

[13]  Peter Van Roy A Prolog Compiler for the PLM , 1984 .

[14]  Takashi Chikayama,et al.  An Abstract KL1 Machine and Its Instruction Set , 1987, SLP.

[15]  Gianluca Piccinini,et al.  A 32 Bit Processor for Compiled Prolog , 1989 .

[16]  Alberto Martelli,et al.  An Efficient Unification Algorithm , 1982, TOPL.

[17]  Gianluca Piccinini,et al.  Implementation studies for a VLSI Prolog coprocessor , 1989, IEEE Micro.

[18]  Gianluca Piccinini,et al.  A VLSI Prolog Co-processor: implementation studies , 1989 .