An execution model for exploiting AND-parallelism in logic programs
- 1 March 1988
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 5 (4), 393-425
- https://doi.org/10.1007/bf03037417
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A data-dependency-based intelligent backtracking scheme for PROLOGThe Journal of Logic Programming, 1988
- Toward a high performance parallel inference machine — The intermediate stage plan of PIM —Published by Springer Nature ,1987
- Parallel Execution of Logic ProgramsPublished by Springer Nature ,1987
- A framework for intelligent backtracking in logic programsLecture Notes in Computer Science, 1986
- Efficient management of backtracking in AND-ParallelismLecture Notes in Computer Science, 1986
- An abstract machine for restricted AND-parallel execution of logic programsLecture Notes in Computer Science, 1986
- AND parallelism and nondeterminism in logic programsNew Generation Computing, 1985
- Parallel interpretation of logic programsPublished by Association for Computing Machinery (ACM) ,1981
- Deduction Plans: A Basis for Intelligent BacktrackingIEEE Transactions on Pattern Analysis and Machine Intelligence, 1981
- Analysis of dependencies to improve the behaviour of logic programsPublished by Springer Nature ,1980