Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

The Berkeley PLM Instruction Set: An Instruction Set for Prolog

Barry Fagin and Tep Dobry

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-86-257
September 1987

http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/CSD-86-257.pdf

This document describes the instruction set of the Berkeley Programmed Logic Machine (hereafter referred to as the PLM). The PLM instruction set is heavily influenced by the Prolog instruction set of David Warren, with some minor modifications involving cut and cdr-coded data structure representation.

The report is divided into two parts. The first part describes the abstract resources of the PLM and the data types it manipulates, in order to facilitate an understanding of how the instruction set works. The second part describes the instruction set itself.


BibTeX citation:

@techreport{Fagin:CSD-86-257,
    Author = {Fagin, Barry and Dobry, Tep},
    Title = {The Berkeley PLM Instruction Set: An Instruction Set for Prolog},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1987},
    Month = {Sep},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1987/6079.html},
    Number = {UCB/CSD-86-257},
    Abstract = {This document describes the instruction set of the Berkeley Programmed Logic Machine (hereafter referred to as the PLM). The PLM instruction set is heavily influenced by the Prolog instruction set of David Warren, with some minor modifications involving cut and cdr-coded data structure representation.  <p>  The report is divided into two parts. The first part describes the abstract resources of the PLM and the data types it manipulates, in order to facilitate an understanding of how the instruction set works. The second part describes the instruction set itself.}
}

EndNote citation:

%0 Report
%A Fagin, Barry
%A Dobry, Tep
%T The Berkeley PLM Instruction Set: An Instruction Set for Prolog
%I EECS Department, University of California, Berkeley
%D 1987
%@ UCB/CSD-86-257
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1987/6079.html
%F Fagin:CSD-86-257