参考文献

1

Takashi Chikayama, Hiroyuki Sato, and Toshihiko Miyazaki. Overview of the parallel inference machine operating system (PIMOS). In Proceedings of FGCS'88, pages 230--251, Tokyo, Japan, 1988.

2

Keith L. Clark and Steve Gregory. Parlog: A parallel logic programming language. ACM Transaction on Programming Languages and Systems, 8(1), 1986.

3

Ehud Shapiro. A subset of Concurrent Prolog and its interpreter. ICOT Technical Report TR-003, ICOT, 1983.

4

Ehud Shapiro and Akikazu Takeuchi. Object oriented programming in Concurrent Prolog. ICOT Technical Report TR-004, ICOT, 1983. Also in New Generation Computing, Springer-Verlag Vol.1 No.1,1983.

5

Kazunori Ueda. Guarded Horn Clauses. ICOT Technical Report TR-103, ICOT, 1985.

6

Kazunori Ueda and Takashi Chikayama. Design of the kernel language for the parallel inference machine. The Computer Journal, December 1990.

7

Takashi Chikayama, Tetsuro Fujise and Daigo Sekita. A Portable and Efficient Implementation of KL1. Proceedings of PRILP'94, Lecture Notes in Computer Science #884, Springer-Verlag, 1994.