此專案是關於為代理實現基於邏輯程式設計的推理引擎。我們開始於科瓦爾斯基和馮的抗 v 驗證程式的實現，作為在 Prolog 中編寫的任何時間演算法。
版本歷史記錄
- 版本 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
此專案是關於為代理實現基於邏輯程式設計的推理引擎。我們開始於科瓦爾斯基和馮的抗 v 驗證程式的實現，作為在 Prolog 中編寫的任何時間演算法。