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.5 MB | 2005-02-17 | 73 | Subscribe Folder view | |
| Euler-1.1.34 | 1.5 MB | 2005-02-17 | 73 | Subscribe Folder view | |
| Euler-1.1.34.zip | 1.5 MB | 2005-02-17 | 73 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
