Parallel Prologs

Appeared in Volume 7/4, November 1994

Keywords: parallelism.


From: roland@sics.se (Roland Karlsson)
30th July 1994

A partial list of AND/OR-parallel systems running (full) Prolog, with contact names:

Muse     - Or-parallel Prolog:     roland@sics.se
Aurora   - Or-parallel Prolog:     beaumont@acrc.bristol.ac.uk
&-Prolog - And-parallel Prolog:    herme@fi.upm.es
ACE      - And-Or-parallel Prolog: herme@fi.upm.es

It is possible to obtain source code for the first three systems. The fourth is under development.

There are several more systems running (not full) Prolog. For those, the semantics of cut and/or side effects are different from Prolog.