DownloadIRIS 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
Don’t let unpaid invoices limit your business’s growth. EBizCharge plugs directly into the tools your business already uses to speed up payment collection.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of IRIS - Integrated Rule Inference System!