From eb730b9f8b87a6886677b5869cfb2e6818b99f6e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 12 Jun 2017 02:48:15 +0200
Subject: [PATCH] Added example for attempting to hide a circular predicate
 dependency.

---
 examples/hide-circular-dependency.lp | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 examples/hide-circular-dependency.lp

diff --git a/examples/hide-circular-dependency.lp b/examples/hide-circular-dependency.lp
new file mode 100644
index 0000000..ff37945
--- /dev/null
+++ b/examples/hide-circular-dependency.lp
@@ -0,0 +1,10 @@
+a(X) :- circle1(X).
+
+circle1(X) :- circle2(X).
+circle2(X) :- circle3(X).
+circle3(X) :- circle1(X).
+
+#show a/1.
+%#show circle1/1.
+%#show circle2/1.
+%#show circle3/1.