From 39d7078dbbcb279f2ebe3f507ca0010d27d4f5bb Mon Sep 17 00:00:00 2001
From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Fri, 5 Jul 2013 14:30:18 -0400
Subject: [PATCH] added dyna doctest for retracting BC rules.

---
 test/misc/retract-bc.dynadoc | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 test/misc/retract-bc.dynadoc

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.
-- 
2.50.1