fixing --pass-only-new for refresh

eyereasoner · Sep 30, 2023 · a64e3aa · a64e3aa
1 parent 06473b2
commit a64e3aa
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 3 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v4.18.3 (2023-09-30) fixing --pass-only-new for refresh
 v4.18.2 (2023-09-30) refresh with double negation
 v4.18.1 (2023-09-30) supporting disjunction in the conclusion as list of graph terms and is negation when list is empty
 v4.18.0 (2023-09-29) supporting lists of graph terms as conclusions

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-4.18.2
+4.18.3
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- use_module(library(pcre)).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v4.18.2 (2023-09-30)').
+version_info('EYE v4.18.3 (2023-09-30)').
 
 license_info('MIT License
 
@@ -5128,6 +5128,7 @@
         ;   djiti_assertz(Dn),
             (   flag('pass-only-new'),
                 Dn \= answer(_, _, _),
+                \+ (flag(refresh), Dn = '<http://www.w3.org/2000/10/swap/log#implies>'(_, _)),
                 \+ (flag(rdfsurfaces), Dn = '<http://www.w3.org/2000/10/swap/log#implies>'(_, _)),
                 \+pass_only_new(Dn)
             ->  assertz(pass_only_new(Dn))
@@ -5165,6 +5166,7 @@
             ;   djiti_assertz(Cn),
                 (   flag('pass-only-new'),
                     Cn \= answer(_, _, _),
+                    \+ (flag(refresh), Cn = '<http://www.w3.org/2000/10/swap/log#implies>'(_, _)),
                     \+ (flag(rdfsurfaces), Cn = '<http://www.w3.org/2000/10/swap/log#implies>'(_, _)),
                     \+pass_only_new(Cn)
                 ->  assertz(pass_only_new(Cn))

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/blogic/version.n3s.out b/reasoning/blogic/version.n3s.out
@@ -1,3 +1,3 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-() log:version "EYE v4.18.2 (2023-09-30)".
+() log:version "EYE v4.18.3 (2023-09-30)".