Binding environments for parallel logic programs in non-shared memory multiprocessors
- 1 April 1988
- journal article
- research article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 17 (2), 125-152
- https://doi.org/10.1007/bf01383953
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Logic ProgrammingPublished by Springer Nature ,1987
- “Hot spot” contention and combining in multistage interconnection networksIEEE Transactions on Computers, 1985
- A comparative study of unification algorithms for OR-parallel execution of logic languagesIEEE Transactions on Computers, 1985
- The cosmic cubeCommunications of the ACM, 1985
- Efficient Prolog memory management for flexible control strategiesNew Generation Computing, 1984
- ORBIT: A parallel computing model of PrologNew Generation Computing, 1984
- The NYU Ultracomputer—Designing an MIMD Shared Memory Parallel ComputerIEEE Transactions on Computers, 1983
- Cm*Published by Association for Computing Machinery (ACM) ,1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976