EulerSharpInference engine for your use | |
Download |
EulerSharp Ranking & Summary
Advertisement
EulerSharp Tags
EulerSharp Description
EulerSharp is built to be an inference engine that can support logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. It has implementations in Java, C#, Python, Javascript and Prolog. Via N3 it is interoperable with W3C Cwm.
EulerSharp Related Software