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.

Project Activity

See All Activity >

License

GNU Library or Lesser General Public License version 2.0 (LGPLv2)

Follow IRIS - Integrated Rule Inference System

IRIS - Integrated Rule Inference System Web Site

Other Useful Business Software
Earn up to 16% annual interest with Nexo. Icon
Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
Get started with Nexo.
Rate This Project
Login To Rate This Project

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

Related Categories

Java Scientific Engineering

Registered

2006-05-16