From c368b1d4b7d1dfe148ba93ffc1c0de7122c4e66b Mon Sep 17 00:00:00 2001 From: Trygve Laugstøl Date: Wed, 16 Oct 2019 08:48:20 +0200 Subject: souffle: Adding support for categories. --- src/ee/souffle/digikey.dl | 1 + src/ee/souffle/part.dl | 9 +++++++++ 2 files changed, 10 insertions(+) create mode 100644 src/ee/souffle/part.dl (limited to 'src/ee/souffle') diff --git a/src/ee/souffle/digikey.dl b/src/ee/souffle/digikey.dl index fad22dd..b1c65b0 100644 --- a/src/ee/souffle/digikey.dl +++ b/src/ee/souffle/digikey.dl @@ -1,4 +1,5 @@ #include "facts.dl" +#include "part.dl" .decl add_fact(part_uri:symbol, key:symbol, value:symbol) .output add_fact 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