added example of backchaining.

diff --git a/examples/backchain.dyna b/examples/backchain.dyna
new file mode 100644 (file)
index 0000000..d537221
--- /dev/null
+++ b/examples/backchain.dyna
@@ -0,0 +1,7 @@
+:- backchain f/1.
+
+
+f(X) := X * f(X-1) for X > 0.
+f(0) := 1.
+
+a := f(4).