]> hydra-www.ietfng.org Git - dyna2/commit
Generate update plans for backchained items
authorNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 5 Jul 2013 18:12:04 +0000 (14:12 -0400)
committerNathaniel Wesley Filardo <nwf@cs.jhu.edu>
Fri, 5 Jul 2013 18:17:37 +0000 (14:17 -0400)
commit82500e410fb5a61a14fafa73a6c93f7ab16fb4f8
tree620f75c4c7d433d32f08c3f5f89962d60545a34a
parent17b9eb184536c2e51bfd6c9d6c7517d09eb1ecdc
Generate update plans for backchained items

This is necessary to allow retraction.

While here, wire up a backchain example into the test harness.
examples/expected/factorial-bc.py.out [new file with mode: 0644]
examples/factorial-bc.dyna [moved from examples/backchain.dyna with 100% similarity]
src/Dyna/Analysis/RuleMode.hs
src/Dyna/Backend/Python/Selftest.hs