fixing log:uri

eyereasoner · May 3, 2023 · 5a69729 · 5a69729
1 parent a8772df
commit 5a69729
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 5 deletions.
diff --git a/RELEASE b/RELEASE
@@ -1,5 +1,6 @@
                                   EYE release
 
+v3.22.2 (2023-05-03) fixing log:uri
 v3.22.1 (2023-05-02) fixing list:iterate (obs from Ieben Smessaert)
 v3.22.0 (2023-04-29) changing the resolution of two negative surfaces
 v3.21.1 (2023-04-23) fixing https://github.com/eyereasoner/Notation3-By-Example/blob/main/log/blogic/contradiction5:FAIL.n3

diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.22.1
+3.22.2
diff --git a/eye.pl b/eye.pl
@@ -21,7 +21,7 @@
 :- catch(use_module(library(pcre)), _, true).
 :- catch(use_module(library(http/http_open)), _, true).
 
-version_info('EYE v3.22.1 (2023-05-02)').
+version_info('EYE v3.22.2 (2023-05-03)').
 
 license_info('MIT License
 
@@ -7117,8 +7117,8 @@
 
 '<http://www.w3.org/2000/10/swap/log#uri>'(X, Y) :-
     when(
-        (   nonvar(X)
-        ;   nonvar(Y)
+        (   ground(X)
+        ;   ground(Y)
         ),
         (   atomic(X),
             (   atom_concat(some, V, X)
@@ -7133,7 +7133,7 @@
             atomic_list_concat(['<', Z, '>'], U),
             Y = literal(Z, type('<http://www.w3.org/2001/XMLSchema#string>')),
             !
-        ;   nonvar(Y),
+        ;   ground(Y),
             Y = literal(Z, type('<http://www.w3.org/2001/XMLSchema#string>')),
             atomic_list_concat(['<', Z, '>'], X)
         )

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