ICOTは、荘園モデルとかおもしろかったけどね。
OSがやるようなリソース管理をPrologの世界に持ち込んで、
メタ管理できるようにする奴。
www.tulips.tsukuba.ac.jp/pub/dl/e_thesis/ko/sato2003.pdf

ELIS/TAO以来、Lisp界はこういうのないね。
地味な基礎研究だけど面白いのに。