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.
Categories
Scientific/EngineeringLicense
GNU Library or Lesser General Public License version 2.0 (LGPLv2)Follow IRIS - Integrated Rule Inference System
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of IRIS - Integrated Rule Inference System!