Compiling Prolog into microcode: a case study using the NCR/32-000
MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
The implementation of Prolog via VAX 8600 microcode
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
RISCs vs. CISCs for Prolog: a case study
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
Implementing a Prolog machine with multiple functional units
MICRO 21 Proceedings of the 21st annual workshop on Microprogramming and microarchitecture
A high performance Prolog processor with multiple function units
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
The Performance of Parallel Prolog Programs
IEEE Transactions on Computers
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |
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, [1], 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 itself.