From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Thu, 27 Jun 2013 20:57:54 +0000 (-0400)
Subject: added example of backchaining.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=eaef2a966c6131f7601cc9d7653a64b87654b94b;p=dyna2

added example of backchaining.
---

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