このプロジェクトは、エージェントの論理プログラミングベースの推論エンジンを実装することです。私たちは、Prologで書かれた任意の時間アルゴリズムとして、コワルスキーとフンによるiff-proof手順の実装から始めました。
バージョン履歴
- バージョン gloria-v.1.1.2 に転記 2007-10-23
いくつかの修正と更新 - バージョン gloria-v.1.1.2 に転記 2007-10-23
プログラムの詳細
- カテゴリ: ネットワークとインターネット > 他
- パブリッシャー: gloria.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: 1.1.2
- プラットフォーム: windows