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.
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| iris-0.58.zip | 2.2 MB | 2008-12-02 15:08:46 GMT | 464 | Release Notes | |
| All Files | Subscribe | ||||
| iris-reasoner | 14.3 MB | 2008-12-02 15:08:46 GMT | Subscribe Folder view | ||
| iris v0.58 | 2.2 MB | 2008-12-02 15:08:46 GMT | Subscribe Folder view | ||
| iris-0.58.zip | 2.2 MB | 2008-12-02 15:08:46 GMT | 464 | Release Notes | |
| iris v0.57 | 1.6 MB | 2008-02-28 13:02:48 GMT | Subscribe Folder view | ||
| iris-0.57.zip | 1.6 MB | 2008-02-28 13:02:48 GMT | 277 | Release Notes | |
| iris v0.56 | 1.5 MB | 2008-02-13 10:37:05 GMT | Subscribe Folder view | ||
| iris-0.56.zip | 1.5 MB | 2008-02-13 10:37:05 GMT | 49 | Release Notes | |
| iris v0.55 | 1.8 MB | 2008-02-01 14:16:35 GMT | Subscribe Folder view | ||
| iris-0.55.zip | 1.8 MB | 2008-02-01 14:16:35 GMT | 47 | Release Notes | |
| iris v 0.5 | 2.2 MB | 2007-11-09 14:19:21 GMT | Subscribe Folder view | ||
| iris-0.5.zip | 2.2 MB | 2007-11-09 14:19:21 GMT | 106 | Release Notes | |
| iris v 0.4 | 4.2 MB | 2007-09-19 14:44:53 GMT | Subscribe Folder view | ||
| iris-0.4.zip | 4.2 MB | 2007-09-19 14:44:53 GMT | 87 | Release Notes | |
| iris v 0.3 | 340.1 KB | 2007-06-15 13:10:49 GMT | Subscribe Folder view | ||
| iris_0.3.zip | 340.1 KB | 2007-06-15 13:10:49 GMT | 102 | Release Notes | |
| iris v 0.2 | 243.8 KB | 2007-02-09 16:49:51 GMT | Subscribe Folder view | ||
| iris_0.2.zip | 243.8 KB | 2007-02-09 16:49:51 GMT | 94 | Release Notes | |
| iris v 0.1 | 243.5 KB | 2007-02-08 10:50:37 GMT | Subscribe Folder view | ||
| iris_v0.1.zip | 243.5 KB | 2007-02-08 10:50:37 GMT | 41 | Release Notes | |
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use