diff options
Diffstat (limited to 'src/ee/souffle/part.dl')
| -rw-r--r-- | src/ee/souffle/part.dl | 9 |
1 files changed, 9 insertions, 0 deletions
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 |