Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

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},
    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://www.eecs.berkeley.edu/Pubs/TechRpts/1989/6379.html
%F Holmer:CSD-91-610