From: email@example.com (Roland Karlsson) 30th July 1994A partial list of AND/OR-parallel systems running (full) Prolog, with contact names:
Muse - Or-parallel Prolog: firstname.lastname@example.org Aurora - Or-parallel Prolog: email@example.com &-Prolog - And-parallel Prolog: firstname.lastname@example.org ACE - And-Or-parallel Prolog: email@example.com
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.