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 >

Categories

Scientific/Engineering

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
Get Avast Free Antivirus with 24/7 AI-powered online scam detection Icon
Get Avast Free Antivirus with 24/7 AI-powered online scam detection

Get protection for today’s online threats. Free.

Award-winning antivirus protection, as well as protection against online scams, dangerous Wi-Fi connections, hacked accounts, and ransomware. It includes Avast Assistant, your built-in AI partner, which gives you help with suspicious online messages, offers, and more.
Free Download
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

Java Swing, Command-line

Programming Language

Java

Related Categories

Java Scientific Engineering

Registered

2006-05-16
Report inappropriate content