The &-Prolog system: Exploiting independent and-parallelism

  title={The &-Prolog system: Exploiting independent and-parallelism},
  author={Manuel V. Hermenegildo and K. J. Greene},
  journal={New Generation Computing},
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