参考文献

1

伊川雅彦，大野和彦，五島正裕，森眞一郎，中島浩，富田眞治 KLIC におけるゴール・スケジューリング最適化． 情処研報, PRO-10-8 (1996年8月).

2

K. Ohno, M. Ikawa, M. Goshima, S. Mori, H. Nakashima, T. Tomita. Efficient Goal Scheduling in Concurrent Logic Language Using Type-Based Dependency Analysis, In Proc. Asian Computing Science Conf., pp. 268--282, December 1997.

3

D. Warren, An Abstarct Prolog Instruction Set, TR-309, SRI International, 1983.