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