souffle: Using the same relation for inputs and outputs was not a good

idea, change to use fact() for inputs and add_fact() for outputs. Leaves
room for implementing remove_fact() later too.

1 files changed, 2 insertions, 7 deletions

diff --git a/src/ee/tools/part_apply_souffle_post.py b/src/ee/tools/part_apply_souffle_post.py
index 819bd03..9322ccb 100644
--- a/src/ee/tools/part_apply_souffle_post.py
+++ b/src/ee/tools/part_apply_souffle_post.py
@@ -40,7 +40,7 @@ def work(in_path: Path, out_path: Path, work_dir: Path):
     mpn_csv = out_dir / "mpn.csv"
 
     new_facts = 0
-    with (out_dir / "fact.csv").open("r") as f:
+    with (out_dir / "add_fact.csv").open("r") as f:
         reader = csv.reader(f, dialect="excel-tab")
         for uri, key, value in reader:
             try:
@@ -48,12 +48,7 @@ def work(in_path: Path, out_path: Path, work_dir: Path):
             except KeyError:
                 raise EeException("Unknown part found in output: uri={}".format(uri))
 
-            old_value = part.facts.get_value(key)
-
-            if old_value is None:
-                log.info("New fact for {}: {}={}".format(uri, key, value))
-                part.facts.add(key, value)
-                new_facts += 1
+            part.facts.add(key, value)
 
     if mpn_csv.is_file():
         with mpn_csv.open("r") as f: