The &-Prolog system: Exploiting independent and-parallelism
Open Access
- 1 August 1991
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 9 (3-4) , 233-256
- https://doi.org/10.1007/bf03037164
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- ACE: And/or-parallel copying-based execution of logic programsPublished by Springer Nature ,1991
- Task granularity analysis in logic programsPublished by Association for Computing Machinery (ACM) ,1990
- Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessorsNew Generation Computing, 1989
- A comparison of 12 parallel FORTRAN dialectsIEEE Software, 1988
- Memory Performance of Prolog ArchitecturesPublished by Springer Nature ,1987
- Efficient management of backtracking in AND-ParallelismPublished by Springer Nature ,1986
- An abstract machine for restricted AND-parallel execution of logic programsPublished by Springer Nature ,1986
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977