LiLFeS

LiLFeS は、素性構造を高速に処理できるように設計された論理型プログラミング言語です。

LiLFeS については こちら で公開しております。