1. Conery, J. S. and Kibler, D. F.: “Parallel interpretation of Logic Programs,” Proc. of the 1981 Conference on Functional Programming Languages and Computer Programming Languages and Computer Architecture (1981) 163–167.
2. Furukawa, K., Nitta, K. and Matsumoto, Y.: “Prolog Interpreter based on Concurrent Programming,” Proc. of the First International Logic Programming Conference (Marseille, France) (1982) 38–44.
3. Goto, A., Aida, H., Maruyama, T., Yuhara, M., Tanaka, H. and Moto-oka, T.: “A Highly Parallel Inference Engine: PIE,” Proc. of the Logic Programming Conference (ICOT) (1983) [in Japanese].
4. Kasif, S., Kohli, M. and Minker, J.: “PRISM—A Parallel Inference System for Problem Solving,” Proc. Logic Programming Workshop 83 (Portugal) (1983).
5. Umeyama, S. and Tamura, K.: “A Parallel Execution Model of Logic Programs,” Proc. of 10th annual Symposium on Computer Architecture (1983).