From d12e1ca0cb6db99f1cc316287ca19805fd2f13a8 Mon Sep 17 00:00:00 2001 From: Tim Vieira Date: Sun, 28 Jul 2013 14:43:54 -0400 Subject: [PATCH] added test case for issue #66 --- test/repl/add-bc.dynadoc | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/repl/add-bc.dynadoc diff --git a/test/repl/add-bc.dynadoc b/test/repl/add-bc.dynadoc new file mode 100644 index 0000000..08586da --- /dev/null +++ b/test/repl/add-bc.dynadoc @@ -0,0 +1,27 @@ +% stale backchaining memos when new rules are added (#66) + +> :- backchain sum/1. +> sum(N) += K for K in range(N). +> query sum(10) + +sum(10) = 45. + +> sum(N) += 10000. + +> query sum(10) + +sum(10) = 10045. + +> query sum(11) + +sum(11) = 10055. + +> query sum(9) + +sum(9) = 10036. + +% Also, sum(9) would have been memoized wrong as well (from during the stale +% sum(10) computation) if we'd defined like this: + +% sum(0) += 0. +% sum(N) += N + sum(N_1) for N > 0. \ No newline at end of file -- 2.50.1