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.
Release Date:
2009-11-21
Topic:
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
All POSIX (Linux/BSD/UNIX-like OSes),
Linux, Win2K, WinXP
License:
Intended Audience:
User Interface:
Programming Language:
Registered:
2003-03-22
Ratings and Reviews
- Thumbs up: 2
- Thumbs down: 1
Be the first to post a text review of EulerSharp. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
Rate and Review
Related Projects
-
-
Python Knowledge Engine (PyKE)
Both forward-chaining and backward-chaining rules (which may include python code) are compiled into python. Can also automatically assemble python programs out of python functions which are attached to backward-chaining rules. See pyke.sourceforge.net.
EulerSharp Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
