From eaef2a966c6131f7601cc9d7653a64b87654b94b Mon Sep 17 00:00:00 2001
From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Thu, 27 Jun 2013 16:57:54 -0400
Subject: [PATCH] added example of backchaining.

---
 examples/backchain.dyna | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 examples/backchain.dyna

diff --git a/examples/backchain.dyna b/examples/backchain.dyna
new file mode 100644
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).
-- 
2.50.1