From 64c9a741c42e25f263fa023095941a5e445eb415 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Mon, 12 Jun 2017 15:42:23 +0200
Subject: [PATCH] Added example with simple propositions.

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

diff --git a/examples/propositions.lp b/examples/propositions.lp
new file mode 100644
index 0000000..91c2491
--- /dev/null
+++ b/examples/propositions.lp
@@ -0,0 +1,11 @@
+p :- q.
+q :- not r.
+{s; t} :- p.
+:- s, not t.
+:- r, q, p.
+
+%#show p/0.
+%#show q/0.
+%#show r/0.
+#show s/0.
+#show t/0.