このページは、並行論理型言語KL1の処理系KLICに関するページです。

klic-3.005-extio-shared.tar.gz

KLIC処理系3.005は、公開中の処理系に対してバグ取りをしたものです。
また、上田研究室におけるKL1に関する研究成果を利用できるように、
改良を加えられたものでもあります。
ただし、以前の機能に関してなんら影響、制限を与えるものではありません。