From a3c011f8d0deef3536e8d8d0f319c8fc37aa2dde Mon Sep 17 00:00:00 2001
From: timv <tim.f.vieira@gmail.com>
Date: Mon, 17 Dec 2012 15:50:06 -0500
Subject: [PATCH] nonlinear unification.

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

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