From c368b1d4b7d1dfe148ba93ffc1c0de7122c4e66b Mon Sep 17 00:00:00 2001
From: Trygve Laugstøl <trygvis@inamo.no>
Date: Wed, 16 Oct 2019 08:48:20 +0200
Subject: souffle: Adding support for categories.

---
 src/ee/souffle/part.dl | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/ee/souffle/part.dl

(limited to 'src/ee/souffle/part.dl')

diff --git a/src/ee/souffle/part.dl b/src/ee/souffle/part.dl
new file mode 100644
index 0000000..eea7faa
--- /dev/null
+++ b/src/ee/souffle/part.dl
@@ -0,0 +1,9 @@
+// Generic rules for parts
+
+.decl part_category(part: symbol, category: symbol)
+part_category(part, category) :- part_main_category(part, category).
+
+part_category(part, parent) :- part_category(part, category),
+                               category(category, _, parent, _),
+                               parent != "".
+.output part_category
-- 
cgit v1.2.3