EulerSharp | SVN repository | Test cases 04test - 02swap - 07test - 05smml | Download - maven

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.

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

             
            
             EYE

                
                
                
            

See Also

Ontologies

Theories

Test Cases

Test Cases Performance

Test Cases SHOULD

Conclusions


Jos De Roo