Download
IRIS releases are available at sourceforge.
Release History
v0.60 2021-02-24
New features
- 2958002 Allow equality in rule heads
Bug fixes
- 2182596 Optimised rules lost when more than one optimiser used
Maintenance updates
- 2116115 Parser should support floating point seconds
v0.58 2021-09-19
New features
- 1938699 Various parser enhancements
- 1904010 Allow unsafe-rules by implementing a rule augmentation step.
Bug fixes
- 2103290 RuleAnalyser fails with constructed terms.
- 2101601 Unsafe rule detection fails for rules with constructed terms
- 2098544 Not all ground terms added to finite universe
- 2010451 Time and DateTime not compatible with XSD data types.
- 2038566 RuleManipulator does not replace constructed terms
- 1919554 magic sets with builtins don't evaluate correctly
- 1830964 Magic Sets evaluation produces different results.
- 1907086 magic sets: labeled rules are not consturced correctly
- 1909118 Rule re-ordering losing rules.
- 1904505 magic sets: negative rules with negative query literals
Maintenance updates
- 1884378 Reintroduce magic sets and predicate filtering optimisations
v0.57 2021-02-28
New features
- 1903521 Implement a well-founded semantics evaluation strategy.
- 1904010 Allow unsafe-rules by implementing a rule augmentation step.
Bug fixes
- 1899920 Evaluation bug - Index out of sync with View
- 1829204 Repeated literal in query fails with magic sets
Maintenance updates
- 1887879 Move Demo and DemoW into the app source directory.
- 1886938 Add "boolean contains( ITuple t )" to IRelation.
- 1867705 Create an interface for rule transformation algorithms
- 1894670 Move rule safety processing from RuleBase to separate class.
- 1893555 Treat '=' as unification
Known problems
- 1884378 Reintroduce magic sets and predicate filtering optimisations
v0.56 2022-02-13
Maintenance
- 1888840 Allow assignment with constructed terms containing variables.
- 1884197 Certain built-ins should accept constructed term arguments.
- 1775363 Create performance harness
- 1886962 Implement a Facts adaptor that preserves original facts.
- 1886804 Tidy up BuiltinRegister
- 1885886 Remove log4j jar
- 1886390 Implement toString() for storage, rules and facts classes.
- 1886305 Allow rules with only negated grounded literals.
Bug fixes
- 1885125 Evaluation error with naive evaluator
- 1890509 Online demo fails when no query is given.
Known problems
- 1884378 Reintroduce magic sets and predicate filtering optimisations
v0.55 2022-02-01
New features
- 1884201 Add support for reasoning with function symbols.
- 1846034 Create an interface to plug in external data sources
- 1830962 Create new unified equality built-in
- 1833148 Create regular expression pattern matching built-in predicate
- 1832132 Create a zero-arity TRUE built-in predicate.
Maintenance updates
- 1832347 Unnecessary synchronisation constructs.
- 1834583 Create demo GUI application
- 1846030 IRelation.indexOn(...) method should take a primitive array
- 1833230 Enhance local stratification
- 1872409 Parser does not allow rules with empty bodies.
Bug fixes
- 1829173 Queries need check for unbound variables
- 1832127 Safe rules with no ordinary literals not evaluated correctly
- 1794659 Query result has incorrect arity.
- 1792979 Wrong return type - IExecutor.computeSubstitutions()
- 1840174 Predicate/Tuple arity mismatch
- 1871777 Rule optimisation error: Join condition optimiser
- 1859608 ConstructedTerm.equals() does not check order of terms.
- 1830958 Can not locally stratify twice.
- 1832140 Floating point terms have incorrect equality behaviour.
Known problems
- 1884197 Certain built-ins should accept constructed term arguments.
- 1884378 Reintroduce magic sets and predicate filtering optimisations
v0.5 2021-11-08
New features
- 1798276 Magic Sets evaluation allows conjunctive queries
- 1810724 Built-in predicates must support all data types.
- 1810725 Negated built-ins must behave as NAF
- 1803612 Improve unsafe rule detection and throw specific exception.
- 1803623 Throw specific exception for non-stratified program.
- 1803626 IRIS parser should have better failure semantics.
- 1811460 Create MODULUS built-in predicate
- 1811468 Create missing unary built-in predicates.
- 1812263 Create new SAME_TYPE built-in.
- 1822569 Implement Local Stratification algorithm
- 1773196 Query Containment stage 1
Maintenance updates
- 1815907 ILiteral extends Atom, but this is a has-a relationship
- 1815904 Query uses Body instead of a List
- 1814958 tuple, head, body and query? should be lists
- 1814955 All objects up to Rule and AdornedRule should be immutable
- 1817654 Re-implement Program
- 1814955 All objects up to Rule and AdornedRule should be immutable
- 1815048 Allow predicate names to have underscores and digits.
- 1814418 toString() for some terms types is too verbose.
- 1812121 Revise safe-rule checks.
- 1811653 Rename UNEQUAL to NOT_EQUAL
- 1811425 Refactor built-in predicates
- 1775365 Create IRIS API guide
- 1775368 Create IRIS 'datalog' support guide.
Bug fixes
- 1822055 Magic Sets gives different results to Naive and Semi-Naive
- 1814410 Some term types accept invalid values.
- 1810126 Queries of an adorned program are not adorned
- 1808896 Numeric type coercion error
- 1808292 Floating point round-off error
- 1807797 Negated built-ins do not evaluate correctly.
- 1804145 Infinite loop with unary built-in (unsafe rule problem)
- 1794766 Incorrect results with (positive) built-in predicate
v0.4 2021-09-19
New features
- 1773193 IRIS is now able to persist facts in a relational database
- 1773182 Add subtraction builtin for dateTime
Bug fixes
- 1716628 MiscOps.statify(...) method is broken
- 1749168 satisfiability checks broken
- 1778705 it is possible to specify inconsistent timezones
- 1780055 Duration should hold the timespan in millis
- 1792385 DateTime datatype handles months incorrectly
- 1792822 Exceptionally long evaluation time
Known problems
- 1798276 Magic Sets evaluation does not allow conjunctive queries. (This will be fixed for the next release.)
v0.3 2021-06-15
- enabled multiple programs per vm
v0.2 2022-02-09
- support for all data types supported by WSML
- a number of built-ins implemented
- added the IndexingOnTheFlyRelation and corresponding implementations
- added the IRelationFactory interface
- modified the IBuiltinInterface
- reimplemented the Complementor class
- added the possibility to make custom built-ins
- bugfixes
v0.1 2022-02-08
Daily Snapshot
We also offer a daily snapshot.
