EulerSharp 2011-06-24

軟體性質: 免費 ‎檔案大小: N/A
‎使用者評分: 4.0/5 - ‎1 ‎評分

Euler 是一個支援基於邏輯的校樣的推理引擎。它是一個向後鏈推理器,通過 Euler 路徑檢測增強。它在 Java、C#、Python、Javascript 和 Prolog 中具有實現。通過 N3,它可與 W3C Cwm 互通。

版本歷史記錄

  • 版本 Euler-2011-06-24 發佈於 2011-06-25
  • 版本 Euler-2011-03-25 發佈於 2011-03-25
    若干修復和更新

軟體細節