Solving Optimisation Problems in the Aurora Or-parallel Prolog System

@inproceedings{Szeredi1991SolvingOP,
  title={Solving Optimisation Problems in the Aurora Or-parallel Prolog System},
  author={P. Szeredi},
  booktitle={ICLP Workshop on Parallel Execution of Logic Programs},
  year={1991}
}
  • P. Szeredi
  • Published in
    ICLP Workshop on Parallel…
    1991
  • Computer Science
  • Aurora is a prototype or-parallel implementation of Prolog for shared memory multiprocessors. It supports the full Prolog language, thus being able to execute existing Prolog programs without any change. There are, however, several application areas where the simple built-in control of Prolog execution hinders efficient exploitation of or-parallelism. 

    Topics from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 11 REFERENCES