EulerSharp 2011-06-24

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

關於 EulerSharp

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