EulerSharp

Euler Yet another proof Engine

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection. The Euler path detection is roughly "don't step in your own steps" to avoid vicious circles so to speak and in that respect there is a similarity with what Leonhard Euler discovered in 1736 for the Königsberg Bridge Problem [1].
The current reasoning engine is EYE [2]. The reasoning that EYE is performing is grounded in FOL (First Order Logic). Keeping a language less powerful than FOL is quite reasonable within an application, but not for the Web [3].
Via N3 [4] it is interoperable with W3C Cwm [5].

[1] http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html
[2] http://eulersharp.sourceforge.net/README#eye
[3] http://www.w3.org/DesignIssues/Logic.html
[4] http://www.w3.org/TeamSubmission/n3/
[5] http://www.w3.org/2000/10/swap/doc/cwm

EulerSharp Web Site