A method for efficiently executing horn clause programs using multiple processors
- 1 March 1988
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 5 (4), 361-376
- https://doi.org/10.1007/bf03037415
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A data-driven machine for OR-parallel evaluation of logic programsNew Generation Computing, 1986
- A comparative study of unification algorithms for OR-parallel execution of logic languagesIEEE Transactions on Computers, 1985
- Depth-first iterative-deepeningArtificial Intelligence, 1985
- Architecture of a Reduction-Based Parallel Inference Machine: PIM-RNew Generation Computing, 1985
- AND parallelism and nondeterminism in logic programsNew Generation Computing, 1985
- On the sequential nature of unificationThe Journal of Logic Programming, 1984
- Highly parallel inference engine PIE —Goal rewriting model and machine architecture—New Generation Computing, 1984
- Execution of logic programs on a dataflow architecturePublished by Association for Computing Machinery (ACM) ,1984
- Divide-and-Conquer for Parallel ProcessingIEEE Transactions on Computers, 1983
- Novel architectures for declarative languagesSoftware & Microsystems, 1983