From b63ef21849bff353e09b2941207d749ad31a6b8a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Wed, 11 Apr 2018 21:35:29 +0200
Subject: [PATCH] Add example program generating permutations

---
 examples/permutations.lp | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 examples/permutations.lp

diff --git a/examples/permutations.lp b/examples/permutations.lp
new file mode 100644
index 0000000..844d6e0
--- /dev/null
+++ b/examples/permutations.lp
@@ -0,0 +1,12 @@
+{p(1..n, 1..n)}.
+
+:- p(X, Y1), p(X, Y2), Y1 != Y2.
+:- p(X1, Y), p(X2, Y), X1 != X2.
+
+q1(X) :- p(X, _).
+q2(Y) :- p(_, Y).
+
+:- not q1(X), X = 1..n.
+:- not q2(Y), Y = 1..n.
+
+#show p/2.