プログラム gloria.sf.net

このプロジェクトは、エージェントの論理プログラミングベースの推論エンジンを実装することです。私たちは、Prologで書かれた任意の時間アルゴリズムとして、コワルスキーとフンによるiff-proof手順の実装から始めました。