标签: logic semantics
我找到了许多有关它自己的语言的教程,但没有找到运行它所需的平台的信息。
有一个github仓库,只能在mac上运行,不确定它本身是否是flogic。我知道它已用于语义Web,所以我认为找到一些正式文档和使用说明很容易。