search

aifargonos2 / elk-reasoner

Automatically exported from code.google.com/p/elk-reasoner
Apache License 2.0
0 stars 0 forks source link

Incremental reasoning #9

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
There's currently an experimental support for incremental reasoning (for both 
additions and deletions). However, it needs to be refactored to work with the 
new rule engine, which has been introduced in 0.3

Pavel and Yevgeny are working on this.

Original issue reported on code.google.com by pavel.kl...@gmail.com on 8 Aug 2012 at 10:49

GoogleCodeExporter commented 8 years ago

Original comment by pavel.kl...@gmail.com on 8 Aug 2012 at 10:57

GoogleCodeExporter commented 8 years ago 
That's been completed and merged into the master branch

Original comment by pavel.kl...@gmail.com on 3 Jun 2013 at 9:42