本調査研究は、IFS として公開・配布されている KLIC システムをベースに、 諸機能に改良・拡張を加え, 並列論理型言語のためのプログラミングシステム としてより完成度の高いものとし、利用範囲を拡大することを目的とする。こ のために、メモリ管理方式など性能上の問題点を改良し、KLIC の本来の性能 を実現する。また、トレース機能, プロファイル機能などを充実、プログラム 開発をさらに容易にする。