参考文献

1

T. Chikayama, T. Fujise, D. Sekita: A Portable and efficient implementation of KL1. In Proc. 6th Intl. Symp. PLILP'94, pp. 25--39, 1994.

2

K. Ueda, M. Morita: A New Implementation Technique for Flat GHC. In Proc. Seventh Int. Conf. on Logic Programming, pp. 3--17, The MIT Press, 1990.

3

K. Ueda, M. Morita: Moded Flat GHC and its message-oriented implementation technique. New Generation Computing, Vol. 13, No. 1, pp. 2--42, November 1994.

4

B. C. Massey, E. Tick: Sequentialization of parallel logic programs with mode analysis. In 4th International Conference on Logic Programming and Automated Reasoning. LNCS 698, pp. 205-216, 1992.

5

H. Nakashima: An Optimization Technique of Efficient Goal Scheduling for KL1 Programs. http://www.icot.or.jp/, 1996 and 1997.