Welcome, Guest! Log In | Create Account

Share

EulerSharp

by josd

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.

View all files

http://eulersharp.sourceforge.net

Networking, Software Development, Testing

Project Feed

  • Code committed

    josd committed revision 3004 to the EulerSharp SVN repository, changing 4 files

    09:26PM on Jul 09 2009 by josd

  • Code committed

    josd committed revision 3001 to the EulerSharp SVN repository, changing 1 files

    09:42PM on Jul 08 2009 by josd

  • Code committed

    josd committed revision 2999 to the EulerSharp SVN repository, changing 1 files

    08:06PM on Jul 07 2009 by josd

  • Code committed

    josd committed revision 2995 to the EulerSharp SVN repository, changing 5 files

    07:09PM on Jul 06 2009 by josd

  • Code committed

    josd committed revision 2993 to the EulerSharp SVN repository, changing 4 files

    03:44PM on Jul 04 2009 by josd

  • Code committed

    josd committed revision 2992 to the EulerSharp SVN repository, changing 3 files

    11:25PM on Jul 03 2009 by josd

  • Code committed

    josd committed revision 2990 to the EulerSharp SVN repository, changing 1 files

    12:30AM on Jul 03 2009 by josd

  • Code committed

    josd committed revision 2989 to the EulerSharp SVN repository, changing 1 files

    12:25AM on Jul 03 2009 by josd

  • Code committed

    josd committed revision $revision to the EulerSharp SVN repository, changing $fileCount files

    12:04AM on Jul 03 2009 by josd

  • Code committed

    josd committed revision 2986 to the EulerSharp SVN repository, changing 2 files

    11:49PM on Jul 02 2009 by josd

Related Projects

EulerSharp Actions

About SourceForge

Find Software

Develop Software

Community

Help

Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use

Close