开发者 eulersharp.sf.net

Euler 是一个支持基于逻辑的校样的推理引擎。它是一个向后链推理器，通过 Euler 路径检测增强。它在 Java、C#、Python、Javascript 和 Prolog 中具有实现。通过 N3，它可与 W3C Cwm 互操作。