Academic Commons

Reports

PROLOG on the DADO Machine: A Parallel System For High-Speed Logic Programming

Taylor, Stephen; Maio, Christopher; Stolfo, Salvatore; Shaw, David Elliot

DADO is a highly-parallel. VLSI-baaed, tree-structured machine designed to provide significant performance improvements in the execution or large production system programs. In this paper, we describe current research aimed at implementing PROLOG within the parallel framework which DADO provides. The implementation allows parallel satisfaction of both disjunctions and conjunctions which occur in the goal tree generated during the execution or a PROLOG program. Local unification routines in each processor allow parallel satisfaction or disjunctive goals while a parallel relational join operation provides a framework to solve conjunctive subgoals. An overview of the technique currently being implemented and their relationship to the architecture is presented.

Subjects

Files

More About This Work

Academic Units
Computer Science
Publisher
Department of Computer Science, Columbia University
Series
Columbia University Computer Science Technical Reports, CUCS-046-83
Published Here
October 20, 2011
Academic Commons provides global access to research and scholarship produced at Columbia University, Barnard College, Teachers College, Union Theological Seminary and Jewish Theological Seminary. Academic Commons is managed by the Columbia University Libraries.