EulerSharp | SVN repository | Tests | More tests | Documentation | Download | Latest Version

Euler Proof Mechanism

Euler is an inference engine supporting 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.

README, GUIDE, DONE, FAQ and LICENSE
Things are described in N3 thanks to Tim Berners-Lee and Dan Connolly.

      Euler   
      YAP   

 run-      N3   
 time      data 
  JVM      SQL  
            

See Also

Ontologies

Theories

Plugins

Test Cases

Test Cases Performance Chart

Test Cases SHOULD

Conclusions


Jos De Roo
$Id: index.html 3170 2009-11-19 18:37:43Z josd $