nonlinear unification.

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