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.
Browse Files for EulerSharp
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Subdirectory (view all files) | |||||
| eulersharp | 1.7 MB | 2009-05-29 | 40 | Subscribe Folder view | |
| Euler-2009-05-30 | 1.7 MB | 2009-05-29 | 40 | Subscribe Folder view | |
| Euler-2009-05-30.zip | 1.7 MB | 2009-05-29 | 40 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
