From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Fri, 5 Jul 2013 18:30:18 +0000 (-0400)
Subject: added dyna doctest for retracting BC rules.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=39d7078dbbcb279f2ebe3f507ca0010d27d4f5bb;p=dyna2

added dyna doctest for retracting BC rules.
---

diff --git a/test/misc/retract-bc.dynadoc b/test/misc/retract-bc.dynadoc
new file mode 100644
index 0000000..a1053ca
--- /dev/null
+++ b/test/misc/retract-bc.dynadoc
@@ -0,0 +1,25 @@
+> :- backchain f/1.
+| f(X) := f(X-1) + f(X-2) for X > 1.
+| f(1) := 1.
+| f(0) := 1.
+| a := f(3).
+| b := f(4).
+| c := f(5).
+
+ *ignore*
+
+> sol
+
+Solution
+========
+a = 3.
+b = 5.
+c = 8.
+
+> retract_rule 0
+
+Changes
+=======
+a = null.
+b = null.
+c = null.