Aurora - an OR-parallel Prolog environment
Aurora is an OR-parallel version of Prolog for shared-memory multiprocessors.
It's based on an old version of SICStus Prolog.
Reference:
-
``The Aurora Or-Parallel Prolog System'', S. Haridi, E. Lusk, D.H.D. Warren
et al. New Generation Computing, vol. 7 pp. 243--271, Ohmsha
Ltd., Tokyo, 1990.
Available via FTP.
Mats Carlsson matsc@sics.se