Euler 是一个支持基于逻辑的校样的推理引擎。它是一个向后链推理器，通过 Euler 路径检测增强。它在 Java、C#、Python、Javascript 和 Prolog 中具有实现。通过 N3，它可与 W3C Cwm 互操作。
版本历史记录
- 版本 Euler-2011-06-24 发布于 2011-06-25
- 版本 Euler-2011-03-25 发布于 2011-03-25
若干修复和更新
软件信息
- 软件分类： 系统实用程序 > 其他
- 发布者： eulersharp.sf.net
- 许可： 免费
- 价格： N/A
- 版本： 2011-06-24
- 适用平台： linux