reverting to EYE v5.0.10 (2023-10-15)

eyereasoner · Oct 19, 2023 · 10e0171 · 10e0171
1 parent 4f67c8a
commit 10e0171
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 17 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v5.2.2 (2023-10-19) reverting to EYE v5.0.10 (2023-10-15)
 v5.2.1 (2023-10-19) retracting the fix of --pass-only-new
 v5.2.0 (2023-10-19) implicit graph term scope of blank nodes
 v5.1.1 (2023-10-18) fixing --pass-only-new

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-5.2.1
+5.2.2
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 v5.2.1 (2023-10-19)').
+version_info('EYE v5.2.2 (2023-10-19)').
 
 license_info('MIT License
 
@@ -2002,12 +2002,6 @@
 tr_tr(A, A) :-
     number(A),
     !.
-tr_tr(triple(A, B, C), triple(D, E, F)) :-
-    G =.. [B, A, C],
-    \+sub_atom(B, 0, _, _, '_e_'),
-    !,
-    tr_tr(G, H),
-    H =.. [E, D, F].
 tr_tr(A, B) :-
     A =.. [C|D],
     tr_tr(D, E),

diff --git a/eye.zip b/eye.zip
diff --git a/reasoning/blogic/unpack.n3 b/reasoning/blogic/unpack.n3
@@ -7,19 +7,19 @@
 # sample data from RubenD
 [] :data {
     [] :package {
-        <<(_:c) log:onContentSurface {
+        {(_:c) log:onContentSurface {
             :a :b _:c.
             [] :package {
-                <<(_:c) log:onContentSurface {
+                {(_:c) log:onContentSurface {
                     :u :v _:c.
                     [] :package {
-                        <<(_:c) log:onContentSurface {
+                        {(_:c) log:onContentSurface {
                             :x :y _:c.
-                        }>> :usable_until :yesterday.
+                        }} :usable_until :yesterday.
                     }; :tag :invalid.
-                }>> :usable_until :tomorrow; :p :o.
+                }} :usable_until :tomorrow; :p :o.
             }; :tag :valid.
-        }>> :usable_until :next_week.
+        }} :usable_until :next_week.
     }; :tag :valid.
 }.
 
@@ -50,7 +50,7 @@
         _:b :package _:p.
     } :unpack _:f>>.
     _:p log:includes {
-        <<_:a log:onContentSurface _:c>> :usable_until _:t.
+        {_:a log:onContentSurface _:c} :usable_until _:t.
     }.
     (:tomorrow :next_week) list:member _:t.
     _:c graph:list _:l.
@@ -63,7 +63,7 @@
         _:b :package _:p.
     } :unpack true>>.
     _:p log:includes {
-        <<_:a log:onContentSurface _:c>> :usable_until _:t.
+        {_:a log:onContentSurface _:c} :usable_until _:t.
     }.
     (:yesterday :last_week) list:member _:t.
 }.

diff --git a/reasoning/blogic/version.n3.out b/reasoning/blogic/version.n3.out
@@ -1,3 +1,3 @@
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 
-() log:version "EYE v5.2.1 (2023-10-19)".
+() log:version "EYE v5.2.2 (2023-10-19)".