Proxima: Prolog Execution Machine
暂无分享,去创建一个
M. Ruo Roch | G. Masera | G. Piccinini | A. Pagni | A. Iurlaro | G. Masera | G. Piccinini | A. Pagni | M. Ruo Roch | A. Iurlaro
[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 .