]> hydra-www.ietfng.org Git - dyna2/commit
Fixed Issue #66 - "stale backchaining memos when new rules are added"
authorTim Vieira <tim.f.vieira@gmail.com>
Sun, 28 Jul 2013 18:33:37 +0000 (14:33 -0400)
committerTim Vieira <tim.f.vieira@gmail.com>
Sun, 28 Jul 2013 18:33:37 +0000 (14:33 -0400)
commitb28fd4a415d455629fdd194670419dd658b95a75
tree252e745bc3b6380976b212d63f7ec87c49b92111
parentb7f405ccb891909247ecd38c9df61bb103a0c495
Fixed Issue #66 - "stale backchaining memos when new rules are added"

GBC computation issues proper replacement updates in the case were there was an
old value (i.e. item was non-null).

When rules are recompiled their index stays the same.

Rules which fail to compile are reported as errors, much like rules which fail
to initialize. Rule recompilation is now one rule at a time rather than all in
one go.

Added item hash function.

Updated doctests to reflect all of these changes.
src/Dyna/Backend/Python/interpreter.py
src/Dyna/Backend/Python/term.py
test/repl/late-bc.dynadoc
test/repl/recursion-limit.dynadoc
test/repl/retract-bc.dynadoc