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.
Update Notifications
User Ratings
User Reviews
Be the first to post a review of IRIS - Integrated Rule Inference System!