参考文献

1

Kazuhiko Ohno, Masahiko Ikawa, Masahiro Goshima, Shin-ichiro Mori, Hiroshi Nakashima, and Shinji Tomita. Efficient Goal Scheduling in Concurrent Logic Language Using Type-Based Dependency Analysis. In Proc. Asian Computing Science Conf., pp. 268--282, December 1997.

2

Hiroshi Nakashima and Kazuhiko Ohno. Optimizing KLIC with Static Analysis. In Proc. Intl. Conf. on Applications of Prolog, pp. 18--26, September 1998.