Submit Software
  1. Home
  2. Linux
  3. Other
  4. EulerSharp
  5. Download

EulerSharp 2011-06-24

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

ABOUT EulerSharp

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.

Related Programs

  • g15tools Free

    Userspace tools for the logitech g15 keyboard. These tools can be used to display custom content on the lcd and also to handle the extra keys of the keyboard.

  • ARNUX Free

    Welcome to ARNUX : Open Source Embedded Linux Project. First Turkish embedded Linux distro. An operating system both embedded and console based. Sponsored by ARDIC (Applied Research Development Innovation Center) http://www.a

  • Squirrel Shell Free

    Squirrel Shell is a cross-platform alternative to system shells like bash in Linux and cmd.exe in Microsoft Windows. It is based on scripting language "Squirrel".

  • wekula - A web interface to Bacula Free

    wekula is web interface to Bacula backup system. With it you will be able to change Bacula settings, stop/start Bacula daemon, do single file search&restore... Aditional it will provide handy PHP interface to Bacula clien

  • libfallocate Free

    Filesystems can avoid fragmentation if they know how large files will be.This library provides a wrapper for the fallocate() syscall (like glibc-2.10+), but also knows the xfs/ocfs2 ioctl and provides fallbacks better than p

  • AAT Direct Connect Hub Project Free

    Scripts and hub mods written to enhance OpenDCHub.The Hub-Security script filters unregistered users by country, and adds op commands and security features. Statistical and fun scripts are also available. Future development

  • yydecode -- decodes yEnc/uuencoded binar Free

    yydecode is a highly portable decoder for yEnc encoded binaries onUsenet. It offers superior functionality to uudecode, and can be used as a drop-in replacement.

  • ice Updater Free

    ice Updater - sriptable solution for automated and centraled MS Office update. International search and download missing hotfixes and service packs. Quiet install patches on local or remote machine - no need user input. Track

  • GACSoft Free Driver Updater Free

    The Description of GACSoft Free Driver Updater:A free driver tool to excellently update PC drivers in just several minutes…This century is the time of informational technology. With the increasing development of high scient

  • V-Drive Free

    V-Drive is a small application which creates a virtual hard disk on your windows pc which accesses its data from your personal webspace provided by your ISP, Uni etc. allowing you to have a disk drive that you can access from