キーワード動的。
私は SWI-Prolog の JPL を試してきましたが、私が知る限り、できることは、事前に作成された Prolog ファイルを取得し、そのナレッジ ベースで実行されるいくつかのクエリを動的に構築することだけです。知識ベースに実際に追加する方法はありません。
私が想定しているのは、Java プログラムを実行しているユーザーが、ある種のコマンド ライン インターフェイス (つまり、ユーザーがインタラクティブなフィクション ストーリーで作成した特定のオブジェクトのプロパティを設定する) を介して Prolog ナレッジ ベースにルールを追加できることです。
JPLはこれを行うことができますか？どの Prolog インターフェイスも使用できますか? それとも、非常にオーバーエンジニアリングされていない (Cyc) か、バグのある混乱 (Tweety) でもない Java 知識表現ライブラリーを見つけるまで戻る必要がありますか? もしそうなら、何かお勧めはありますか？