IRIS - Integrated Rule Inference System

beta
Add a Review
11 Downloads (This Week)
Last Update:
Download iris-0.60.zip
Browse All Files
Windows Mac Linux

Description

IRIS is an extensible reasoning engine for Datalog extended with function symbols, unsafe rules, negation, locally stratified or non-stratified programs, XML schema data types and a comprehensive and extensible set of built-in predicates.

IRIS - Integrated Rule Inference System Web Site

Update Notifications





Write a Review

User Reviews

Be the first to post a review of IRIS - Integrated Rule Inference System!

Additional Project Details

Languages

English

Intended Audience

Science/Research

User Interface

Command-line, Java Swing

Programming Language

Java

Registered

2006-05-16
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.