Execution of logic programs on a dataflow architecture

Authors:
Lubomir Bic
Affiliations:
Department of Information and Computer Science, University of California, Irvine, California
Venue:
ISCA '84 Proceedings of the 11th annual international symposium on Computer architecture
Year:
1984

Citing 5
Cited 2

On database systems development through logic

ACM Transactions on Database Systems (TODS)
Data-Driven and Demand-Driven Computer Architecture

ACM Computing Surveys (CSUR)
Logic and semantic networks

Communications of the ACM
VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL

VAL- ORIENTED ALGORITHMIC LANGUAGE, PRELIMINARY REFERENCE MANUAL
A DATA FLOW ARCHITECTURE WITH IMPROVED ASYMPTOTIC

A DATA FLOW ARCHITECTURE WITH IMPROVED ASYMPTOTIC

Survey on special purpose computer architectures for AI

ACM SIGART Bulletin
The Fifth Generation grail: A survey of related research

ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge

Quantified Score

Hi-index	0.00

Visualization

Abstract

Logic programming is a mathematical formalism capable of expressing certain classes of problems in a non-procedural manner. Furthermore, logic programs do not presuppose a von Neumann computer architecture and are therefore inherently well suited to parallel computations. In this paper we consider a data-driven model for interpreting logic programs and investigate the architectural requirements necessary to support its implementation. It will be shown that the model is capable of exploiting the capabilities of highly-parallel dataflow architectures.