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.
adrian_marte committed revision 1702 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files
adrian_marte committed revision 1701 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files
adrian_marte committed revision 1700 to the IRIS - Integrated Rule Inference System SVN repository, changing 23 files
adrian_marte committed revision 1699 to the IRIS - Integrated Rule Inference System SVN repository, changing 7 files
adrian_marte committed revision 1698 to the IRIS - Integrated Rule Inference System SVN repository, changing 24 files
adrian_marte committed revision 1697 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files
adrian_marte committed revision 1696 to the IRIS - Integrated Rule Inference System SVN repository, changing 6 files
adrian_marte committed revision 1695 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files
adrian_marte committed revision 1694 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files
adrian_marte committed revision 1693 to the IRIS - Integrated Rule Inference System SVN repository, changing 1 files
Copyright © 2009 SourceForge, Inc. All rights reserved. Terms of Use
