プログラム prologtab.sf.net

PrologTabプラグインは、プロローグ推論エンジンをProtege-2000ナレッジベースと統合します。