We have collection of more than 1 Million open source products ranging from Enterprise product to
small libraries in all platforms. We aggregate information from all open source repositories.
Search and find the best for your needs. Check out projects section.
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 quot;don't step in your own stepsquot; to avoid vicious circles so to speak and in that respect there is a similarity with what Leonhard Euler discovered in 1736 for the Kouml;nigsberg Bridge Problem . The current reasoning engine is EYE . 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 . Via N3  it is interoperable with W3C Cwm .  http://mathworld.wolfram.com/KoenigsbergBridgeProblem.html  http://eulersharp.sourceforge.net/README#eye  http://www.w3.org/DesignIssues/Logic.html  http://www.w3.org/TeamSubmission/n3/  http://www.w3.org/2000/10/swap/doc/cwm