Aurora

"The Aurora Or-Parallel Prolog System", E. Lusk et al, Proceedings of the 3rd International Conference on Fifth Generation Computing Systems, pp. 819-830, ICOT, Addison-Wesley, 1988.