開發者 gloria.sf.net

此專案是關於為代理實現基於邏輯程式設計的推理引擎。我們開始於科瓦爾斯基和馮的抗 v 驗證程式的實現，作為在 Prolog 中編寫的任何時間演算法。