EulerSharp 2013-03下载地址

推理引擎为您的使用

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

这是一个向后链接的推理加强与欧拉路径检测。它实现在的神器出山:www.shenqi73.comJava ，C＃，目标=“_blank”HREF =“http://www.softpedia.com/get/Programming/Coding-languages-Compilers/Python.shtml”>的Python ，Javascript和Prolog的。通过N3，它是可与W3C水煤浆。