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.
Browse Files for IRIS - Integrated Rule Inference System
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| iris-0.58.zip | 2.2 MB | 2008-12-02 | 535 | Release Notes | |
| All Files | Subscribe | ||||
| iris-reasoner | 14.3 MB | 2008-12-02 | 1,378 | Subscribe Folder view | |
| iris v0.58 | 2.2 MB | 2008-12-02 | 535 | Subscribe Folder view | |
| iris-0.58.zip | 2.2 MB | 2008-12-02 | 535 | Release Notes | |
| iris v0.57 | 1.6 MB | 2008-02-28 | 289 | Subscribe Folder view | |
| iris-0.57.zip | 1.6 MB | 2008-02-28 | 289 | Release Notes | |
| iris v0.56 | 1.5 MB | 2008-02-13 | 54 | Subscribe Folder view | |
| iris-0.56.zip | 1.5 MB | 2008-02-13 | 54 | Release Notes | |
| iris v0.55 | 1.8 MB | 2008-02-01 | 50 | Subscribe Folder view | |
| iris-0.55.zip | 1.8 MB | 2008-02-01 | 50 | Release Notes | |
| iris v 0.5 | 2.2 MB | 2007-11-09 | 110 | Subscribe Folder view | |
| iris-0.5.zip | 2.2 MB | 2007-11-09 | 110 | Release Notes | |
| iris v 0.4 | 4.2 MB | 2007-09-19 | 93 | Subscribe Folder view | |
| iris-0.4.zip | 4.2 MB | 2007-09-19 | 93 | Release Notes | |
| iris v 0.3 | 340.1 KB | 2007-06-15 | 107 | Subscribe Folder view | |
| iris_0.3.zip | 340.1 KB | 2007-06-15 | 107 | Release Notes | |
| iris v 0.2 | 243.8 KB | 2007-02-09 | 97 | Subscribe Folder view | |
| iris_0.2.zip | 243.8 KB | 2007-02-09 | 97 | Release Notes | |
| iris v 0.1 | 243.5 KB | 2007-02-08 | 43 | Subscribe Folder view | |
| iris_v0.1.zip | 243.5 KB | 2007-02-08 | 43 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
