The Aurora or-parallel Prolog system
Open Access
- 1 February 1990
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 7 (2-3) , 243-271
- https://doi.org/10.1007/bf03037208
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Or-parallel execution models of PrologPublished by Springer Nature ,2005
- Pruning and scheduling speculative work in or-parallel PrologPublished by Springer Nature ,1989
- Using automated reasoning tools: A study of the semigroupF 2 B 2Semigroup Forum, 1987
- Principles of the Delphi Parallel Inference MachineThe Computer Journal, 1987
- An abstract machine for restricted AND-parallel execution of logic programsPublished by Springer Nature ,1986