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