From: timv <tim.f.vieira@gmail.com>
Date: Mon, 17 Dec 2012 20:50:06 +0000 (-0500)
Subject: nonlinear unification.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=a3c011f8d0deef3536e8d8d0f319c8fc37aa2dde;p=dyna2

nonlinear unification.
---

diff --git a/examples/nonlinear.dyna b/examples/nonlinear.dyna
new file mode 100644
index 0000000..2e7c1e7
--- /dev/null
+++ b/examples/nonlinear.dyna
@@ -0,0 +1,4 @@
+
+% Simplest example nonlinearity in unification (i.e. a repeated variable inside
+% structured term)
+goal += f(&pair(X,X)).
\ No newline at end of file