開發者 eulersharp.sf.net

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