A Detailed Description of the VLSI-PLM Instruction Set: A WAM Based Processor for Prolog
Bruce K. Holmer
EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-91-610
March 1989
http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1989/6379.html},
Number = {UCB/CSD-91-610}
}
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://www.eecs.berkeley.edu/Pubs/TechRpts/1989/6379.html %F Holmer:CSD-91-610