Elly

planning
Add a Review
1 Download (This Week)
Last Update:
Download elly-0.10.zip
Browse All Files

Description

Elly is a reasoner for entailment and satisfiability checking of ELP knowledge-bases. It is written in java and relies on the IRIS Datalog reasoner (https://sourceforge.net/projects/iris-reasoner) for its implementation.

Elly Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Elly!

Additional Project Details

Intended Audience

Advanced End Users

User Interface

Command-line

Programming Language

Java

Registered

2009-01-26
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.