开发者 flora.sf.net

FLORA-2 是一种基于逻辑的面向对象的语言，用于构建知识密集型应用程序。它基于 F 逻辑、HiLog 和事务逻辑。应用程序包括智能代理、语义 Web、本体管理等。