passing --no-bnode-relabeling flag to log:conclusion

eyereasoner · Oct 20, 2024 · 63f4bd7 · 63f4bd7
1 parent 3ac2ce3
commit 63f4bd7
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v10.26.4 (2024-10-20) passing --no-bnode-relabeling flag to log:conclusion
 v10.26.3 (2024-10-18) further support for reasoning/n3plus1 (N3 plus increments like RDF 1.1, RDF 1.2, functional terms, ...)
 v10.26.2 (2024-10-18) testing reasoning/n3+1
 v10.26.1 (2024-10-18) introducing (~ functor args) functional terms

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-10.26.3
+10.26.4
diff --git a/eye.pl b/eye.pl
@@ -22,7 +22,7 @@
 :- catch(use_module(library(process)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v10.26.3 (2024-10-18)').
+version_info('EYE v10.26.4 (2024-10-20)').
 
 license_info('MIT License
 
@@ -7263,7 +7263,11 @@
             ->  Quiet = '--quiet'
             ;   Quiet = ''
             ),
-            append([A1, A2, ['--nope', Quiet, Tmp1, '--pass-all', '>', Tmp2]], A4),
+            (   flag('no-bnode-relabeling')
+            ->  Nobnr = '--no-bnode-relabeling'
+            ;   Nobnr = ''
+            ),
+            append([A1, A2, ['--nope', Quiet, Nobnr, Tmp1, '--pass-all', '>', Tmp2]], A4),
             findall([G, ' '],
                 (   member(G, A4)
                 ),

diff --git a/eye.zip b/eye.zip