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.
Download
iris-reasoner - iris v0.57
Last Update: Feb 28 2008
©Copyright 1999-2008 - SourceForge, Inc., All Rights Reserved