IRIS Reasoner

an extensible reasoning engine for expressive rule-based languages

IRIS is an open-source Datalog reasoner that can evaluate safe or unsafe datalog extended with function symbols, XML schema data types, built-in predicates and (locally) stratified or well-founded negation as failure. http://www.iris-reasoner.org/