Merge pull request #121 from ML-KULeuven/bugfix_negation_name

Add name to negation node if label_all is defined.
ML-KULeuven · Oct 29, 2024 · 13872a3 · 13872a3
2 parents 5bb0485 + 896942c
commit 13872a3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/problog/eval_nodes.py b/problog/eval_nodes.py
@@ -727,7 +727,11 @@ def new_result(self, result, node=NODE_TRUE, source=None, is_last=False):
     def complete(self, source=None):
         actions = []
         if self.nodes:
-            or_node = self.target.add_not(self.target.add_or(self.nodes, name=None))
+            if self.engine.label_all:
+                name = Term('aux_{}'.format(self.identifier))
+            else:
+                name = None
+            or_node = self.target.add_not(self.target.add_or(self.nodes, name=name))
             if or_node != NODE_FALSE:
                 actions += self.notifyResult(self.context, or_node)
         else:

diff --git a/problog/version.py b/problog/version.py
@@ -1 +1 @@
-version = '2.2.4'
+version = '2.2.5'