The &-Prolog system: Exploiting independent and-parallelism

@article{Hermenegildo1991TheS,
  title={The &-Prolog system: Exploiting independent and-parallelism},
  author={Manuel V. Hermenegildo and K. J. Greene},
  journal={New Generation Computing},
  year={1991},
  volume={9},
  pages={233-256}
}
The &-Prolog system, a practical implementation of a parallel execution model for Prolog exploiting strict and non-strict independent and-parallelism, is described. Both automatic and manual parallelization of programs are supported. This description includes a summary of the system’s language and architecture, some details of its execution model (based on the RAP-WAM model), and data on its performance on sequential workstations and shared memory multiprocessors, which is compared to that of… CONTINUE READING