2013-07 EulerSharp_EulerSharp 2013-07下载地址

推理引擎的使用

EulerSharp是一个推理引擎，可以支持基于逻辑的证明。

这是一个落后的链推理增强与欧拉路径检测。它具有实现在的神器出山:www.shenqi73.comJava ，C＃， Python的，Javascript和Prolog的。通过N3是可与W3C水煤浆。