並列論理型言語KL1の高速実行を妨げる要因として、 実行時の並行性制御によるオーバーヘッドが挙げられる。 そこで我々は、静的に実行順序を決定されたゴール系 列をスレッドとし、このスレッドを並行実行単位とすることでオーバーヘッドの 軽減を試み、無駄な実行中断／再開の削減による性能向上を達成した [1,2]。
本研究では，このスレッド化技術をさらに発展させることを目的とし，我々が開発し たスレッド化KL1処理系であるKLIC/THの解析系および実行系に，以下の改良を加えた。
