开发者 prologtab.sf.net

PrologTab 插件将 Prolog 推理引擎与 Protege-2000 知识库集成在一起。