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

Stephen Taylor, Christopher Maio, Salvatore Stolfo & David Elliot Shaw
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...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.