From d7641aa4100576759c0f4286db26bdefab97ffe8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 12 Jun 2017 03:05:21 +0200
Subject: [PATCH] Added example with nested predicate arguments.

---
 examples/nested-arguments.lp | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 examples/nested-arguments.lp

diff --git a/examples/nested-arguments.lp b/examples/nested-arguments.lp
new file mode 100644
index 0000000..5ae5488
--- /dev/null
+++ b/examples/nested-arguments.lp
@@ -0,0 +1,9 @@
+a(X, Y) :- b(c(X - 1), d(e(1 + Y))).
+b(c(X), d(Y)) :- c(X), d(Y).
+c(1..3).
+d(e(8..9)).
+
+#show a/2.
+%#show b/2.
+%#show c/1.
+%#show d/1.