Bruce K. Holmer
EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-91-610
March 1989
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1991/CSD-91-610.pdf
This document describes the VLSI-PLM instruction set and includes small programs to test details of its implementation. The VLSI-PLM is a single chip implementation of the PLM, a WAM based instruction set for the execution of Prolog. The instruction set is described using C-like code based on the actual microcode of the VLSI-PLM. The test programs are a collection of simple Prolog programs which were used to debug the microcode. This report compliments the report of Fagin and Dobry, The Berkeley PLM Instruction Set: An Instruction Set for Prolog.
BibTeX citation:
@techreport{Holmer:CSD-91-610, Author = {Holmer, Bruce K.}, Title = {A Detailed Description of the VLSI-PLM Instruction Set: A WAM Based Processor for Prolog}, Institution = {EECS Department, University of California, Berkeley}, Year = {1989}, Month = {Mar}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/6379.html}, Number = {UCB/CSD-91-610}, Abstract = {This document describes the VLSI-PLM instruction set and includes small programs to test details of its implementation. The VLSI-PLM is a single chip implementation of the PLM, a WAM based instruction set for the execution of Prolog. The instruction set is described using C-like code based on the actual microcode of the VLSI-PLM. The test programs are a collection of simple Prolog programs which were used to debug the microcode. This report compliments the report of Fagin and Dobry, <i>The Berkeley PLM Instruction Set: An Instruction Set for Prolog</i>.} }
EndNote citation:
%0 Report %A Holmer, Bruce K. %T A Detailed Description of the VLSI-PLM Instruction Set: A WAM Based Processor for Prolog %I EECS Department, University of California, Berkeley %D 1989 %@ UCB/CSD-91-610 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1989/6379.html %F Holmer:CSD-91-610