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

more »

... 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.