Performance studies of a Prolog machine architecture

Authors:
T. P. Dobry;A. M. Despain;Y. N. Patt
Affiliations:
Computer Science Division, University of California,Berkeley, Berkeley, California;Computer Science Division, University of California,Berkeley, Berkeley, California;Computer Science Division, University of California,Berkeley, Berkeley, California
Venue:
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Year:
1985

Citing 4
Cited 21

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Design decisions influencing the microarchitecture for a Prolog machine

MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A Prolog Compiler for the PLM

A Prolog Compiler for the PLM

A computer with low-level parallelism QA-2: its applications to 3-D graphics and Prolog/Lisp machines

ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Multiprocessor cache synchronization: issues, innovations, evolution

ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Compiling Prolog into microcode: a case study using the NCR/32-000

MICRO 18 Proceedings of the 18th annual workshop on Microprogramming
The architecture of the hardware unification unit and an implementation

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
Aquarius

ACM SIGARCH Computer Architecture News
Coming to grips with a RISC: a report of the progress of the LOW RISC design group

ACM SIGARCH Computer Architecture News
Use of instruction set simulators to evaluate the LOW RISC

ACM SIGARCH Computer Architecture News
High performance integrated Prolog processor IPP

ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
Performance studies of a parallel Prolog architecture

ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
An experimental VLSI Prolog interpreter: preliminary measurements and results

ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture
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
A RISC architecture for symbolic computation

ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
High-Speed CAM-Based Architecture for a Prolog Machine (ASCA)

IEEE Transactions on Computers
Data buffer performance for sequential Prolog architectures

ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
VLSI and rule-based systems

ACM SIGARCH Computer Architecture News
KCM: a knowledge crunching machine

ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
Pipelined OR-parallelism architecture for parallel execution of Prolog

IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2
A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs

ACM SIGPLAN Notices
Implementation Studies for a VLSI Prolog Coprocessor

IEEE Micro
A Highly OR-Parallel Inference Machine (Multi-ASCA) and its Performance Evaluation: An Architecture and its Load Balancing Algorithms

IEEE Transactions on Computers

Quantified Score

Hi-index	0.01

Performance studies of a Prolog machine architecture

Quantified Score

Visualization

Abstract