To English
LiLFeS
LiLFeS は、素性構造を高速に処理できるように設計された論理型プログラミング言語です。
LiLFeS については
こちら
で公開しております。