開發者 prologtab.sf.net

PrologTab 外掛程式將 Prolog 推理引擎與 Protege-2000 知識庫整合在一起。