fixing --pass-only-new for --n3p-output

eyereasoner · Apr 16, 2023 · 94f51d4 · 94f51d4
1 parent c8c59a5
commit 94f51d4
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 4 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v3.20.2 (2023-04-16) fixing --pass-only-new for --n3p-output
 v3.20.1 (2023-04-16) fixing --n3p-output for variable predicates
 v3.20.0 (2023-04-16) adding backward blogic queries and adding --n3p-output switch to have the reasoner output in n3p
 v3.19.0 (2023-04-14) improving the way to deal with backward rules in blogic

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.20.1
+3.20.2
diff --git a/eye.pl b/eye.pl
@@ -20,7 +20,7 @@
 :- use_module(library(semweb/turtle)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v3.20.1 (2023-04-16)').
+version_info('EYE v3.20.2 (2023-04-16)').
 
 license_info('MIT License
 
@@ -610,12 +610,19 @@
             )
         ),
         (   flag('pass-only-new')
-        ->  wh,
+        ->  (   flag('n3p-output')
+            ->  true
+            ;   wh
+            ),
             forall(
                 pass_only_new(Zn),
                 (   indent,
                     relabel(Zn, Zr),
-                    wt(Zr),
+                    (   flag('n3p-output')
+                    ->  makeblank(Zr, Zs),
+                        writeq(Zs)
+                    ;   wt(Zr)
+                    ),
                     ws(Zr),
                     write('.'),
                     nl,

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