From 2033b0934a63bda055c67d0303234d481e9937dd Mon Sep 17 00:00:00 2001
From: cedretaber <cedretaber@gmail.com>
Date: Wed, 2 Aug 2023 00:23:54 +0900
Subject: [PATCH] Add a sample dl file.

---
 examples/dl2u_sample.dl | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 examples/dl2u_sample.dl

diff --git a/examples/dl2u_sample.dl b/examples/dl2u_sample.dl
new file mode 100644
index 00000000..5575e670
--- /dev/null
+++ b/examples/dl2u_sample.dl
@@ -0,0 +1,5 @@
+source ed('EMP_NAME':string,'DEPT_NAME':string).
+source eed('EMP_NAME':string,'DEPT_NAME':string).
++eed(E, D) :- ed(E, D), D = 'A', E <> 'Joe', ¬eed(E, D).
+-eed(E, D) :- ed(V1, D), eed(E, D), E = 'Joe', D = 'A', V1 <> 'Joe', ¬eed(V1, D).
++ed(E, D) :- ed(V1, D), E = 'Joe', D = 'A', V1 <> 'Joe', ¬ed(E, D), ¬eed(V1, D).