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.
Download EulerSharp
Project Admins:
josd
Operating System:
32-bit MS Windows (NT/2000/XP), All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux, Win2K, WinXP
License:
W3C License
Category:
Testing, Software Development, Networking
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest
Public Areas
-
Bugs
: (1 open / 1 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (0 open / 0 total)
Feature Request Tracking System - Public Forums : (4 messages in 2 forums)
- Mailing Lists : (0 total)
-
CVS Repository
: (0 commits,
0 reads)
Browse CVS -
SVN Repository
: (0 commits,
0 reads)
Browse SVN
Project Details
-
Project Admins :
josd
- Developers : 5
- Development Status : 4 - Beta
- Intended Audience : Developers, Information Technology
- License : W3C License
- Operating System : 32-bit MS Windows (NT/2000/XP), All 32-bit MS Windows (95/98/NT/2000/XP), All POSIX (Linux/BSD/UNIX-like OSes), Linux, Win2K, WinXP
- Programming Language : C#, Java, JavaScript, Prolog, Python
- Topic : Testing, Software Development, Networking
- User Interface : Web-based
- Project UNIX name : eulersharp
- Registered : 2003-03-22 17:26
- Activity Percentile (last week) : 99.31
- View project activity statistics
- View list of RSS feeds available for this project