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 | 11.9 MB | 2004-04-09 | 63 | Subscribe Folder view | |
| Euler-1.0.16 | 11.9 MB | 2004-04-09 | 63 | Subscribe Folder view | |
| Euler-1.0.16.zip | 11.9 MB | 2004-04-09 | 63 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
